An infinity of intuitionistic connexive logics

DOI10.1007/978-3-031-26689-8_14OpenAlexW4321440710MaRDI QIDQ6132580

No author found.

Publication date: 17 August 2023

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-26689-8_14

zbMATH Keywords

sequent calculusintuitionistic logicconnexive logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Related Items

Connexive logic, connexivity, and connexivism: remarks on terminology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Constructive negations and paraconsistency
• Distributive lattices with an additional unary operation
• Semantics for connexive logics. I
• 40 years of FDE: an introductory overview
• Paraconsistent double negations as classical and intuitionistic negations
• Negation as cancellation, and connexive logic
• Relating semantics for connexive logic
• Countably many weakenings of Belnap-Dunn logic
• Negation as Cancellation, Connexive Logic, and qLPm
• Connexive logics. An overview and current trends
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• From Paraconsistent Logic to Dialetheic Logic
• Connexive implication