A propositional logic with subjunctive conditionals
From MaRDI portal
Cited in
(51)- 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
- Logics of nonsense and Parry systems
- 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
- 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
- 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
- Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte
- Peirce's triadic logic and its (overlooked) connexive expansion
- 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
- Superconnexivity reconsidered
- Mortensen logics
- Dunn semantics for contra-classical logics
- On Beall's new interpretation of \(WK_{3}\)
- Fragility and strength
- Aristotle's dilemma
- C-systems of da Costa and Aristotle's theses
- Ten open problems in connexive logic
- A variety of connexive logics in the light of relating semantics
- A note on the historiography of pre-modern connexive logic
- Consequential implication and the implicative conditional
- 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
- The evidential conditional
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
This page was built for publication: A propositional logic with subjunctive conditionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5731766)
