Connexive implication - MaRDI portal

Cited in

(65)

Semantics for connexive logics. I
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
Angell and McCall meet Wansing
Boolean connexive logic and content relationship
Connexive logic, connexivity, and connexivism: remarks on terminology
Connexive negation
Stalnakerian connexive logics
Connexive logics. An overview and current trends
Proof theory of abelian connexive logics
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
Mortensen logics
IMPROVING STRONG NEGATION
Rewriting the history of connexive logic
Aristotle's Thesis between paraconsistency and modalization
Boethius' thesis and conditional logic
Modal extension of ideal paraconsistent four-valued logic and its subsystem
Revisiting Reichenbach's logic
Natural deduction systems for Nelson's paraconsistent logic and its neighbors
Sextus Empiricus' fourth conditional and containment logic
\textit{Per se} modality and natural implication -- an account of connexive logic in Robert Kilwardby
Strict-tolerant conditional logics
Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
Connexive extensions of regular conditional logic
An infinity of intuitionistic connexive logics
Game theoretical semantics for some non-classical logics
Two kinds of consequential implication
Cut-elimination and normalization theorems for connexive logics over Wansing's C
An easy road to multi-contra-classicality
SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
Fragility and strength
An analysis of poly-connexivity
Stoic Sequent Logic and Proof Theory
Variable sharing in connexive logic
A curious dialogical logic and its composition problem
Impossible antecedents and their consequences: some thirteenth-century Arabic discussions
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
Connexive arithmetic formulated relevantly
Truth diagrams for some non-classical and modal logics
Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
Connexive logic: new old challenges
Substructural logics, pluralism and collapse
Dunn semantics for contra-classical logics
Superconnexivity reconsidered
C-systems of da Costa and Aristotle's theses
Bi-connexive logic, bilateralism, and negation inconsistency
Embedding friendly first-order paradefinite and connexive logics
Ten open problems in connexive logic
Inferentialism and connexivity
Flavors of connexivity
A note on the historiography of pre-modern connexive logic
Consequential implication and the implicative conditional
Consequence as inference: mediaeval proof theory 1300--1350
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
Another remark on connexivity and set theory
Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Kapsner complementation: an algebraic take on Kapsner strong logics
Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte
An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
Peirce's triadic logic and its (overlooked) connexive expansion
Unified Gentzen approach to connexive logics over Wansing's C
The peripatetic program in categorical logic: Leibniz on propositional terms
Aristotle's thesis in consistent and inconsistent logics
Connexive Variants of Modal Logics Over FDE
Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation

This page was built for publication: Connexive implication

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