"RIV/67985807:_____/07:00088772" . . . "46" . . "Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach"@en . "Je pops\u00E1na metoda konstrukce konjunktivn\u00ED norm\u00E1ln\u00ED formy pro logiky s Gentzenovsk\u00FDm d\u016Fkazov\u00FDm syst\u00E9mem, je\u017E vykazuje vlastnost tzv. siln\u00E9 invertibility. Tato metoda je aplikov\u00E1na na \u0159adu prominentn\u00EDch fuzzy logik a jejich hypersekventov\u00FDch syst\u00E9m\u016F popsan\u00FDch v literatu\u0159e. Konkr\u00E9tn\u011B, pro Lukasiewiczovu logiku konstruujeme norm\u00E1ln\u00ED formu s liter\u00E1ly intepretovan\u00FDmi pomoc\u00ED tzv. jednoduch\u00FDch McNaughtonovsk\u00FDch funkc\u00ED, pro Godelovu a produktovou logiky (a tak\u00E9 pro logiku CHL) konstruujeme norm\u00E1ln\u00ED formu s liter\u00E1ly ve form\u011B jednoduch\u00FDch implika\u010Dn\u00EDch formul\u00ED."@cs . . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach" . . . "[68E8983E9920]" . "RIV/67985807:_____/07:00088772!RIV08-AV0-67985807" . "Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach" . "P(1M0545), Z(AV0Z10300504)" . "Norm\u00E1ln\u00ED formy ve fuzzy logik\u00E1ch: d\u016Fkazov\u011B-teoretick\u00FD p\u0159\u00EDstup"@cs . . "Metcalfe, G." . . "17"^^ . . . "Cintula, Petr" . "2"^^ . . "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 \u0142ukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for G\u00F6del logic, Product logic, and Cancellative hoop logic."@en . . . "347;363" . "fuzzy logic; normal form; proof theory; hypersequents"@en . . . "1"^^ . "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 \u0142ukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for G\u00F6del logic, Product logic, and Cancellative hoop logic." . "1432-0665" . . . "437586" . "Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach"@en . "Archive for Mathematical Logic" . . "Norm\u00E1ln\u00ED formy ve fuzzy logik\u00E1ch: d\u016Fkazov\u011B-teoretick\u00FD p\u0159\u00EDstup"@cs . "5-6" .