Connexive logics. An overview and current trends

DOI10.12775/LLP.2019.026zbMath1458.03005WikidataQ127536515 ScholiaQ127536515MaRDI QIDQ3387885

Heinrich Wansing, Hitoshi Omori

Publication date: 8 January 2021

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

zbMATH Keywords

consequential implicationconnexive logiccancellation account of negationcontra-classical logicsprinciple of conjunctive contrariety

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

Questions to Michael Dunn ⋮ An analysis of poly-connexivity ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Intuitionistic logic is a connexive logic ⋮ Angell and McCall meet Wansing ⋮ Connexive logic, probabilistic default reasoning, and compound conditionals ⋮ Boolean connexive logic and content relationship ⋮ Situation-based connexive logic ⋮ Stalnakerian connexive logics ⋮ An infinity of intuitionistic connexive logics ⋮ Axiomatization of some basic and modal Boolean connexive logics ⋮ Super-Strict Implications ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion ⋮ Connexive Variants of Modal Logics Over FDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• Constructive negations and paraconsistency
• The logic of conditional negation
• Aristotle's thesis in consistent and inconsistent logics
• Boethius' thesis and conditional logic
• Semantics for connexive logics. I
• A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
• Strong Boethius' thesis and consequential implication
• 40 years of FDE: an introductory overview
• Aristotle's Thesis between paraconsistency and modalization
• Negation as cancellation, and connexive logic
• Negation as Cancellation, Connexive Logic, and qLPm
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• Connexive Gentzen
• From Paraconsistent Logic to Dialetheic Logic
• A Note on Negation in Categorial Grammar
• Connexive implication
• On systems containing Aristotle's thesis
• A propositional logic with subjunctive conditionals
• Dialogical connexive logic

This page was built for publication: Connexive logics. An overview and current trends