Výsledky vyhledávání
- 1.0370261 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Chvalovský, Karel
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK(CZ) 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.749, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0204111Název souboru Staženo Velikost Komentář Verze Přístup 0370261.pdf 0 582.8 KB Autorský preprint povolen - 2.0079129 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav
On the Failure of Standard Completeness in PiMTL for Infinite Theories.
[PiMTL nemá silnou standardní úplnost pro nekonečné teorie.]
Fuzzy Sets and Systems. Roč. 158, č. 6 (2007), s. 619-624. ISSN 0165-0114. E-ISSN 1872-6801
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: strong standard completeness * monoidal t-norm based logic (MTL) * basic fuzzy logic (BL) * product logic * Lukasiewicz logic * PiMTL * IMTL
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.373, rok: 2007
Trvalý link: http://hdl.handle.net/11104/0144000Název souboru Staženo Velikost Komentář Verze Přístup 0079129.pdf 1 270.6 KB Autorský preprint povolen