Commodious axiomatization of quantifiers in multiple-valued logic

DOI10.1023/A:1005086415447MaRDI QIDQ1580665zbMATH OpenOpenAlexFDO

Authors Reiner Hähnle

Publication date 13 June 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005086415447

zbMATH Keywords

distribution quantifiersinfinite-valued logicmany-valued logicsemantic tableauxsequent calculi

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• Optimal axiomatizations of finitely valued logics
• The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
• scientific article; zbMATH DE number 517011
• scientific article; zbMATH DE number 1189102

Cited in

(9)

• An overview of fuzzy quantifiers. I. Interpretations
• Optimal axiomatizations of finitely valued logics
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
• MUltlog 1.0: towards an expert system for many-valued logics
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• scientific article; zbMATH DE number 6287639 (Why is no real title available?)
• Binary resolution over Boolean lattices
• Filter-based resolution principle for lattice-valued propositional logic LP(X)

This page was built for publication: Commodious axiomatization of quantifiers in multiple-valued logic

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