Connexive Conditional Logic. Part I

DOI10.12775/LLP.2018.018zbMath1458.03017WikidataQ128667324 ScholiaQ128667324MaRDI QIDQ3387894

Heinrich Wansing, Matthias Unterhuber

Publication date: 8 January 2021

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

zbMATH Keywords

tableauxconditional logicgeneral framesparaconsistent logicconnexive logicfirst-degree entailment logicAristotle's thesesBoethius' thesesChellas framesextension/anti-extension pairsSegerberg frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (8)

An analysis of poly-connexivity ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ Angell and McCall meet Wansing ⋮ Situation-based connexive logic ⋮ Stalnakerian connexive logics ⋮ Poly-connexivity: connexive conjunction and disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on conditional logic
• Completeness and correspondence in Chellas-Segerberg semantics
• Constructive negations and paraconsistency
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A first-order conditional logic for prototypical properties
• Basic conditional logic
• The logic of conditionals. An application of probability to deductive logic
• Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
• The logic of information structures
• Informational interpretation of substructural propositional logics
• Strong Boethius' thesis and consequential implication
• Counterfactuals in Nelson logic
• A more general general proof theory
• Intuitive semantics for first-degree entailments and `coupled trees'
• Negation as cancellation, and connexive logic
• The Mathematics of Sentence Structure
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• A Compositional Semantics for ‘Even If’ Conditionals

This page was built for publication: Connexive Conditional Logic. Part I