Počet záznamů: 1
On the independence of axioms in BL and MTL
- 1.
SYSNO 0370261 Název On the independence of axioms in BL and MTL Tvůrce(i) Chvalovský, Karel (UIVT-O) SAI, RID, ORCID Zdroj.dok. Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. - : Elsevier Druh dok. Článek v odborném periodiku Grant GEICC/08/E018 GA ČR - Grantová agentura ČR GD401/09/H007 GA ČR - Grantová agentura ČR 73109/2009, CZ - Česká republika CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms Trvalý link http://hdl.handle.net/11104/0204111 Název souboru Staženo Velikost Komentář Verze Přístup 0370261.pdf 0 582.8 KB Autorský preprint povolen
Počet záznamů: 1