An infinity of intuitionistic connexive logics

DOI10.1007/978-3-031-26689-8_14MaRDI QIDQ6132580zbMATH OpenOpenAlexFDO

Authors

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

intuitionistic logicsequent calculusconnexive logic

Mathematics Subject Classification ID

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

Recommendations

• Nonstandard connectives of intuitionistic propositional logic
• A poly-connexive logic
• Semantic characterization of intuitionistic logical connectives
• Connexive logics. An overview and current trends
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1749203 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• Connexive implication
• Connexive logics. An overview and current trends
• Connexive modal logic
• Connexive modal logic based on positive S4
• Constructive negations and paraconsistency
• Countably many weakenings of Belnap-Dunn logic
• Distributive lattices with an additional unary operation
• From paraconsistent logic to dialetheic logic
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Logic: a history of its central concepts
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Paraconsistent double negations as classical and intuitionistic negations
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Relating semantics for connexive logic
• Semantics for connexive logics. I
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(6)

• Connexive logic, connexivity, and connexivism: remarks on terminology
• Lindenbaum and pair extension lemma in infinitary logics
• scientific article; zbMATH DE number 1004875 (Why is no real title available?)
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers
• scientific article; zbMATH DE number 3265727 (Why is no real title available?)
• A new hierarchy of infinitary logics in abstract algebraic logic

This page was built for publication: An infinity of intuitionistic connexive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132580)