Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Two proofs of the algebraic completeness theorem for multilattice logic

Two proofs of the algebraic completeness theorem for multilattice logic AbstractShramko [(2016). Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo (Ed.), J. Michael Dunn on information based logics, outstanding contributions to logic (pp. 191–212). Dordrecht: Springer] formulated multilattice logic and the algebraic completeness theorem for it. However, the proof has not been presented. In this paper, we consider Kamide and Shramko's multilattice logic [Kamide & Shramko (2017a). Embedding from multilattice logic into classical logic and vice versa. Journal of Logic and Computation, 27(5), 1549–1575] which is an extension of Shramko's original multilattice logic by several implications and coimplications. Using the technique of algebraic embedding, we show that Kamide and Shramko's sequent calculus for multilattice logic is sound and complete with respect to multilattices. Moreover, we introduce yet another algebraic semantics for this logic based on the notion of a De Morgan multilattice. Using Lindenbaum-Tarski algebras, we show that is sound and complete with respect to De Morgan multilattices. Besides, we modify Kamide and Shramko's notion of modal multilattice [Kamide & Shramko (2017b). Modal multilattice logic. Logica Universalis, 11(3), 317–343], i.e. we present the concept of De Morgan modal multilattice. We prove that Kamide and Shramko's modal multilattice logic (Kamide & Shramko, 2017b) is adequate with respect to De Morgan modal multilattices. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Two proofs of the algebraic completeness theorem for multilattice logic

Download PDF

Two proofs of the algebraic completeness theorem for multilattice logic

Abstract

AbstractShramko [(2016). Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo (Ed.), J. Michael Dunn on information based logics, outstanding contributions to logic (pp. 191–212). Dordrecht: Springer] formulated multilattice logic and the algebraic completeness theorem for it. However, the proof has not been presented. In this paper, we consider Kamide and Shramko's multilattice logic [Kamide & Shramko (2017a). Embedding from multilattice logic...
Loading next page...
 
/lp/taylor-francis/two-proofs-of-the-algebraic-completeness-theorem-for-multilattice-YRVoCzfifL
Publisher
Taylor & Francis
Copyright
© 2019 Informa UK Limited, trading as Taylor & Francis Group
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.2019.1647654
Publisher site
See Article on Publisher Site

Abstract

AbstractShramko [(2016). Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo (Ed.), J. Michael Dunn on information based logics, outstanding contributions to logic (pp. 191–212). Dordrecht: Springer] formulated multilattice logic and the algebraic completeness theorem for it. However, the proof has not been presented. In this paper, we consider Kamide and Shramko's multilattice logic [Kamide & Shramko (2017a). Embedding from multilattice logic into classical logic and vice versa. Journal of Logic and Computation, 27(5), 1549–1575] which is an extension of Shramko's original multilattice logic by several implications and coimplications. Using the technique of algebraic embedding, we show that Kamide and Shramko's sequent calculus for multilattice logic is sound and complete with respect to multilattices. Moreover, we introduce yet another algebraic semantics for this logic based on the notion of a De Morgan multilattice. Using Lindenbaum-Tarski algebras, we show that is sound and complete with respect to De Morgan multilattices. Besides, we modify Kamide and Shramko's notion of modal multilattice [Kamide & Shramko (2017b). Modal multilattice logic. Logica Universalis, 11(3), 317–343], i.e. we present the concept of De Morgan modal multilattice. We prove that Kamide and Shramko's modal multilattice logic (Kamide & Shramko, 2017b) is adequate with respect to De Morgan modal multilattices.

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Oct 2, 2019

Keywords: Multilattice logic; algebraic semantics; algebraic embedding; Lindenbaum-Tarski algebra; sequent calculus; modal multilattice logic

References

  • Reasoning with logical bilattices
  • A useful four-valued extension of the temporal logic KtT4
  • Multivalued logics: a uniform approach to reasoning in artificial intelligence
  • Logic of bipartite truth with uncertainty dimension
  • On a multilattice analogue of a hypersequent S5 calculus
  • Linear time in hypersequent framework
  • Cut elimination theorem for non-commutative hypersequent calculus
  • Embedding from multilattice logic into classical logic and vice versa
  • Modal multilattice logic
  • Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
  • Semantical analysis of modal logic I
  • The algebra of topology
  • The logic of generalized truth values and the logic of bilattices
  • Gentzen method in modal calculi I
  • The trilattice of constructive truth values
  • Some useful sixteen-valued logics: How a computer network should think
  • First-degree entailment and its relatives
  • A few more useful 8-valued logics for reasoning with tetralattice EIGHT4