An infinity of intuitionistic connexive logics

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

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)

Cites Work

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

Cited In (6)

• Lindenbaum and pair extension lemma in infinitary logics
• Title not available (Why is that?)
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers
• Title not available (Why is that?)
• A new hierarchy of infinitary logics in abstract algebraic logic
• Connexive logic, connexivity, and connexivism: remarks on terminology

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)