Connexive implication - MaRDI portal

Cited in

(66)

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

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)