Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

DOI10.12775/LLP.2019.002zbMath1458.03013MaRDI QIDQ3387890

Norihiro Kamide

Publication date: 8 January 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

dualitycompletenesssequent calculuscut-eliminationbi-classical connexive logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

Connexive Variants of Modal Logics Over FDE

Cites Work

• Applications of Kripke models to Heyting-Brouwer logic
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• A formalization of the propositional calculus of H-B logic
• Falsification, natural deduction and bi-intuitionistic logic
• Symmetric and dual paraconsistent logics
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• From Paraconsistent Logic to Dialetheic Logic
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Connexive implication
• A propositional logic with subjunctive conditionals
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality