Angell and McCall meet Wansing

DOI10.1007/s11225-023-10083-0OpenAlexW4391897840MaRDI QIDQ6127187

Hitoshi Omori, Andreas Kapsner

Publication date: 10 April 2024

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

Full work available at URL: https://doi.org/10.1007/s11225-023-10083-0

zbMATH Keywords

three-valued logicconnexive logicstrong connexivity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of extensions of Nelson's paraconsistent logic
• The logic of conditional negation
• Semantics for connexive logics. I
• The finite model property for BCK and BCIW
• Subintuitionistic logics
• Counterfactuals in Nelson logic
• Routes to triviality
• Negation as cancellation, and connexive logic
• Negation as Cancellation, Connexive Logic, and qLPm
• Connexive logics. An overview and current trends
• Relevant Connexive Logic
• Boolean Connexive Logics: Semantics and tableau approach
• Connexive Conditional Logic. Part I
• Weak Logics with Strict Implication
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Connexive implication
• On systems containing Aristotle's thesis
• A propositional logic with subjunctive conditionals

This page was built for publication: Angell and McCall meet Wansing