Normal forms for fuzzy logics: a proof-theoretic approach

DOI10.1007/s00153-007-0033-7zbMath1114.03016OpenAlexW2044844988MaRDI QIDQ884948

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

fuzzy logicproof theoryŁukasiewicz logicproduct logicGödel logicMcNaughton functionsconjunctive normal formscancellative hoop logichypersequent rulesstrong invertibility

Mathematics Subject Classification ID

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

Related Items (1)

Normal forms and free algebras for some extensions of MTL

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Semi-normal forms and functional representation of product fuzzy logic.
• Analytic calculi for product logics
• Algebraic foundations of many-valued reasoning
• Interpolation in fuzzy logic
• On normal forms in Łukasiewicz logic
• Fragments of Many-Valued Statement Calculi
• A constructive analysis of RM
• Proving termination with multiset orderings
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Fuzzy Logics with Noncommutative Conjuctions
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• A theorem about infinite-valued sentential logic
• Decomposition proof systems for Gödel-Dummett logics

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