Number of the records: 1  

Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach

  1. 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 1432-0665
    R&D Projects: GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : fuzzy logic * normal form * proof theory * hypersequents
    Subject RIV: BA - General Mathematics
    Impact factor: 0.620, year: 2007

    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.

    Je popsána metoda konstrukce konjunktivní normální formy pro logiky s Gentzenovským důkazovým systémem, jež vykazuje vlastnost tzv. silné invertibility. Tato metoda je aplikována na řadu prominentních fuzzy logik a jejich hypersekventových systémů popsaných v literatuře. Konkrétně, pro Lukasiewiczovu logiku konstruujeme normální formu s literály intepretovanými pomocí tzv. jednoduchých McNaughtonovských funkcí, pro Godelovu a produktovou logiky (a také pro logiku CHL) konstruujeme normální formu s literály ve formě jednoduchých implikačních formulí.
    Permanent Link: http://hdl.handle.net/11104/0150191
    FileDownloadSizeCommentaryVersionAccess
    0088772.pdf2698.1 KBAuthor´s preprintopen-access
     
Number of the records: 1