Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach

0088772 - ÚI 2008 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G.
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach.
[Normální formy ve fuzzy logikách: důkazově-teoretický přístup.]
Archive for Mathematical Logic. Roč. 46, č. 5-6 (2007), s. 347-363. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * normal form * proof theory * hypersequents
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150191