Connexive logic, connexivity, and connexivism: remarks on terminology
From MaRDI portal
Publication:6127183
DOI10.1007/s11225-023-10082-1OpenAlexW4389507653MaRDI QIDQ6127183
Heinrich Wansing, Hitoshi Omori
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-10082-1
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic: a history of its central concepts
- Conditional excluded middle in systems of consequential implication
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- The logic of conditional negation
- Boethius' thesis and conditional logic
- Semantics for connexive logics. I
- Strong Boethius' thesis and consequential implication
- What is negation?
- Two kinds of consequential implication
- Aristotle's Thesis between paraconsistency and modalization
- On negation: Pure local rules
- Reasoning with logical bilattices
- Negation as cancellation, and connexive logic
- Relating semantics for connexive logic
- Rewriting the history of connexive logic
- An analysis of poly-connexivity
- Aristotle's cubes and consequential implication
- Negation as Cancellation, Connexive Logic, and qLPm
- Connexive logics. An overview and current trends
- Boolean Connexive Logics: Semantics and tableau approach
- Humble Connexivity
- Towards a bridge over two approaches in connexive logic
- Connexive Conditional Logic. Part I
- Connexive Extensions of Regular Conditional Logic
- Super-Strict Implications
- A Poly-Connexive Logic
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- From Paraconsistent Logic to Dialetheic Logic
- A Note on Negation in Categorial Grammar
- Connexive implication
- A propositional logic with subjunctive conditionals
- IMPROVING STRONG NEGATION
- An infinity of intuitionistic connexive logics
