Switch to: References

Add citations

You must login to add citations.
  1. Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - 2024 - Journal of Logic, Language and Information 33 (2):179-196.
    In this paper, we introduce the notions of connexive and bi-intuitionistic multilattices and develop on their base the algebraic semantics for Kamide, Shramko, and Wansing’s connexive and bi-intuitionistic multilattice logics which were previously known in the form of sequent calculi and Kripke semantics. We prove that these logics are sound and complete with respect to the presented algebraic structures.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Provability multilattice logic.Yaroslav Petrukhin - 2022 - Journal of Applied Non-Classical Logics 32 (4):239-272.
    In this paper, we introduce provability multilattice logic PMLn and multilattice arithmetic MPAn which extends first-order multilattice logic with equality by multilattice versions of Peano axioms. We show that PMLn has the provability interpretation with respect to MPAn and prove the arithmetic completeness theorem for it. We formulate PMLn in the form of a nested sequent calculus and show that cut is admissible in it. We introduce the notion of a provability multilattice and develop algebraic semantics for PMLn on its (...)
    Download  
     
    Export citation  
     
    Bookmark