Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant

DOI10.1007/s11225-017-9752-xzbMath1417.03179OpenAlexW2754467536MaRDI QIDQ1685569

Yaroslav Shramko, Heinrich Wansing, Norihiro Kamide

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9752-x

zbMATH Keywords

bi-intuitionistic logicmultilatticesconnexive logicfirst-degree entailment logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Modal multilattice logic ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• On axiomatizing Shramko-Wansing's logic
• First degree entailments
• Applications of Kripke models to Heyting-Brouwer logic
• Intuitionistic logic with strong negation
• On logics with coimplication
• Intuitive semantics for first-degree entailments and `coupled trees'
• A formalization of the propositional calculus of H-B logic
• Reasoning with logical bilattices
• A hierarchy of weak double negations
• The logic of generalized truth values and the logic of bilattices
• Falsification, natural deduction and bi-intuitionistic logic
• Symmetric and dual paraconsistent logics
• Embedding from multilattice logic into classical logic and vice versa
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• The Trilattice of Constructive Truth Values
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• Trilattice logic: an embedding-based approach
• Connexive implication
• A propositional logic with subjunctive conditionals
• Constructible falsity
• Proof theory

This page was built for publication: Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant