Connexive implication
From MaRDI portal
Publication:5545509
DOI10.2307/2270458zbMath0161.00405OpenAlexW4255883872MaRDI QIDQ5545509
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270458
Related Items (42)
Aristotle's thesis in consistent and inconsistent logics ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Rewriting the history of connexive logic ⋮ An analysis of poly-connexivity ⋮ Two kinds of consequential implication ⋮ Game theoretical semantics for some non-classical logics ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ 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 ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ A curious dialogical logic and its composition problem ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Aristotle's Thesis between paraconsistency and modalization ⋮ Boethius' thesis and conditional logic ⋮ Stoic Sequent Logic and Proof Theory ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ Semantics for connexive logics. I ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ Connexive logics. An overview and current trends ⋮ 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 ⋮ Variable sharing in connexive logic ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Impossible Antecedents and Their Consequences: Some Thirteenth-Century Arabic Discussions ⋮ 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 ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
This page was built for publication: Connexive implication
