Two proofs of the algebraic completeness theorem for multilattice logic

DOI10.1080/11663081.2019.1647654zbMath1444.03089OpenAlexW2965816819WikidataQ113850121 ScholiaQ113850121MaRDI QIDQ5243396

Oleg Grigor'ev, Yaroslav I. Petrukhin

Publication date: 18 November 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2019.1647654

zbMATH Keywords

sequent calculusalgebraic semanticsalgebraic embeddingmultilattice logicLindenbaum-Tarski algebramodal multilattice logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (4)

Provability multilattice logic ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• Natural deduction, hybrid systems and modal logics
• Some useful 16-valued logics: How a computer network should think
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Modal multilattice logic
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• First-degree entailment and its relatives
• Reasoning with logical bilattices
• The logic of generalized truth values and the logic of bilattices
• The algebra of topology
• Embedding from multilattice logic into classical logic and vice versa
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• On a multilattice analogue of a hypersequent S5 calculus
• Lattices with Interior and Closure Operators and Abstract Approximation Spaces
• The Trilattice of Constructive Truth Values
• Useful Four-Valued Extension of the Temporal Logic KtT4
• Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
• Two proofs of the algebraic completeness theorem for multilattice logic
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Two proofs of the algebraic completeness theorem for multilattice logic