Intuitionistic logic is a connexive logic

DOI10.1007/s11225-023-10044-7arXiv2208.14715OpenAlexW4367693474MaRDI QIDQ6127186

Antonio Ledda, Francesco Paoli, Davide Fazio

Publication date: 10 April 2024

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

Full work available at URL: https://arxiv.org/abs/2208.14715

zbMATH Keywords

algebraic logicHeyting algebraintuitionistic logicsemi-Heyting algebraconnexive logicconnexive Heyting algebraconnexive Heyting logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The variety generated by semi-Heyting chains
• Logic: a history of its central concepts
• Gentzen-style sequent calculus for semi-intuitionistic logic
• On the structure of varieties with equationally definable principal congruences. II
• Ideals in universal algebras
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• Constructive logic with strong negation is a substructural logic. I
• Constructive logic with strong negation is a substructural logic. II
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• Equivalential logics. I
• Constructivism in mathematics. An introduction. Volume I
• Incomplete translations of complete logics
• On subtractive varieties. III: From ideals to congruences
• Definitional equivalence and algebraizability of generalized logical systems
• The logic of information structures
• On the structure of varieties with equationally definable principal congruences. IV
• On the structure of varieties with equationally definable principal congruences. III
• On the structure of varieties with equationally definable principal congruences. I
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• On some semi-intuitionistic logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Equivalence of consequence operations
• Logics and falsifications. A new perspective on constructivist semantics
• Choice of primitives: A note on axiomatizing intuitionistic logic
• A Warning About Translating Axioms
• Connexive logics. An overview and current trends
• Boolean Connexive Logics: Semantics and tableau approach
• Correspondences between gentzen and hilbert systems
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• A propositional logic with subjunctive conditionals

This page was built for publication: Intuitionistic logic is a connexive logic