A simple way to overcome hyperconnexivity

DOI10.1007/s11225-023-10056-3MaRDI QIDQ6127185

Alex Belikov

Publication date: 10 April 2024

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

zbMATH Keywords

constructivityconnexive logicBoethius' thesescompleteness and soundnesshyperconnexivitymesoconnexivity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Logic: a history of its central concepts
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• The logic of conditional negation
• Material implication, confirmation, and counterfactuals
• Rewriting the history of connexive logic
• Negation as Cancellation, Connexive Logic, and qLPm
• Towards a bridge over two approaches in connexive logic
• Constructible falsity and inexact predicates
• A Variant of Material Connexive Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item