Number of the records: 1
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach
- 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
Cited: 2
--- AGUZZOLI, S. - GERLA, B. Normal forms and free algebras for some extensions of MTL. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 16 2008, vol. 159, no. 10, p. 1131-1152. [WOS]
--- AGUZZOLI, S. - D'ANTONA, O.M. - MARRA, V. Computing Minimal Axiomatizations in Godel Propositional Logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, OCT 2011, vol. 21, no. 5, SI, p. 791-812. [WOS]
Permanent Link: http://hdl.handle.net/11104/0150191File Download Size Commentary Version Access 0088772.pdf 2 698.1 KB Author´s preprint open-access
Number of the records: 1