Normal forms for fuzzy logics: a proof-theoretic approach

DOI10.1007/S00153-007-0033-7MaRDI QIDQ884948zbMATH OpenOpenAlexFDO

Authors Petr Cintula, George Metcalfe

Publication date 7 June 2007

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-007-0033-7

zbMATH Keywords

cancellative hoop logicconjunctive normal formsfuzzy logicGödel logichypersequent rulesMcNaughton functionsproduct logicproof theorystrong invertibilityŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Normal forms for fuzzy logic functions and their approximation ability
• Semi-normal forms and functional representation of product fuzzy logic.
• scientific article; zbMATH DE number 2177629
• scientific article; zbMATH DE number 2160575
• Representation of logic formulas by normal forms.

Cites work

• A constructive analysis of RM
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A theorem about infinite-valued sentential logic
• Algebraic foundations of many-valued reasoning
• Analytic calculi for product logics
• Decomposition proof systems for Gödel-Dummett logics
• Fragments of Many-Valued Statement Calculi
• Fuzzy Logics with Noncommutative Conjuctions
• Handbook of automated reasoning. In 2 vols
• scientific article; zbMATH DE number 1341466 (Why is no real title available?)
• Interpolation in fuzzy logic
• Metamathematics of fuzzy logic
• On normal forms in Łukasiewicz logic
• Proving termination with multiset orderings
• Semi-normal forms and functional representation of product fuzzy logic.
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

Cited in

(7)

• Normal forms for fuzzy logic functions and their approximation ability
• Semi-normal forms and functional representation of product fuzzy logic.
• Normal forms of fuzzy formulas and their minimization
• NORMAL FORMS FOR FUZZY LOGIC — AN APPLICATION OF KOLMOGOROV’S THEOREM
• A normal form which preserves tautologies and contradictions in a class of fuzzy logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Normal forms and free algebras for some extensions of MTL

This page was built for publication: Normal forms for fuzzy logics: a proof-theoretic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q884948)