Normal forms for fuzzy logics: a proof-theoretic approach
DOI10.1007/S00153-007-0033-7zbMATH Open1114.03016OpenAlexW2044844988MaRDI QIDQ884948FDOQ884948
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
proof theoryfuzzy logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic][https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+logic&go=Go G��del logic]McNaughton functionsproduct logicconjunctive normal formscancellative hoop logichypersequent rulesstrong invertibility
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Proving termination with multiset orderings
- Interpolation in fuzzy logic
- Fragments of Many-Valued Statement Calculi
- A theorem about infinite-valued sentential logic
- Analytic calculi for product logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- On normal forms in Łukasiewicz logic
- Handbook of automated reasoning. In 2 vols
- Fuzzy Logics with Noncommutative Conjuctions
- A constructive analysis of RM
- A constructive proof of McNaughton's theorem in infinite-valued logic
- Semi-normal forms and functional representation of product fuzzy logic.
- Decomposition proof systems for Gödel-Dummett logics
Cited In (3)
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)
