Number of the records: 1
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach
- 1.
SYSNO ASEP 0088772 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Title Normální formy ve fuzzy logikách: důkazově-teoretický přístup Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Metcalfe, G. (US)Source Title Archive for Mathematical Logic. - : Springer - ISSN 0933-5846
Roč. 46, č. 5-6 (2007), s. 347-363Number of pages 17 s. Language eng - English Country DE - Germany Keywords fuzzy logic ; normal form ; proof theory ; hypersequents Subject RIV BA - General Mathematics R&D Projects 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000246591500001 EID SCOPUS 34249012842 DOI https://doi.org/10.1007/s00153-007-0033-7 Annotation A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2008
Number of the records: 1