A propositional logic with subjunctive conditionals
From MaRDI portal
Publication:5731766
DOI10.2307/2964651zbMath0121.01009OpenAlexW2051375518WikidataQ114756121 ScholiaQ114756121MaRDI QIDQ5731766
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964651
Related Items (32)
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 ⋮ 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 ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Intuitionistic logic is a connexive logic ⋮ Angell and McCall meet Wansing ⋮ Boolean connexive logic and content relationship ⋮ Connexivity in the logic of reasons ⋮ Stalnakerian connexive logics ⋮ Connexive negation ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ On Beall's new interpretation of \(WK_{3}\) ⋮ 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 ⋮ Logics of nonsense and Parry systems ⋮ Aristotle's Thesis between paraconsistency and modalization ⋮ Boethius' thesis and conditional logic ⋮ Semantics for connexive logics. I ⋮ Connexive logics. An overview and current trends ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Towards a bridge over two approaches in connexive logic ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ 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 ⋮ A reinterpretation of Beall's `off-topic' semantics ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
This page was built for publication: A propositional logic with subjunctive conditionals
