Commodious axiomatization of quantifiers in multiple-valued logic

DOI10.1023/A:1005086415447zbMath0962.03018OpenAlexW1556184062MaRDI QIDQ1580665

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

many-valued logicinfinite-valued logicsequent calculisemantic tableauxdistribution quantifiers

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Binary resolution over Boolean lattices, Filter-based resolution principle for lattice-valued propositional logic LP\((X)\), On Gentzen relations associated with finite-valued logics preserving degrees of truth, MUltlog 1.0: Towards an expert system for many-valued logics, Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices, An overview of fuzzy quantifiers. I. Interpretations, Optimal axiomatizations of finitely valued logics