Search results
- 1.0088772 - ÚI 2008 RIV DE eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * normal form * proof theory * hypersequents
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150191File Download Size Commentary Version Access 0088772.pdf 2 698.1 KB Author´s preprint open-access - 2.0042359 - ÚI 2007 ES eng A - Abstract
Cintula, Petr - Metcalfe, G.
Generating Normal Forms for Fuzzy Logics via Proof Calculi.
[Generování normálních forem pro fuzzy logiky důkazově-teoretickými prostředky.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.). s. 74-76
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. 13.09.2006-15.09.2006, Malaga]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * normal form * proof theory * hypersequents
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135607