What is strict implication?
From MaRDI portal
Cites work
Cited in
(25)- Noncumulative dialectical models and formal dialectics
- Modal companions of intermediate propositional logics
- Modal translations in substructural logics
- Interpretations of intuitionist logic in non-normal modal logics
- A closer look at some subintuitionistic logics
- Shortest axiomatizations of implicational S4 and S5
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
- Oskar Becker and the modal translation of intuitionistic logic
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Basic quasi-Boolean expansions of relevance logics
- The modal logic of reverse mathematics
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- 10th Asian Logic Conference
- A constructive negation for logics including \(\mathrm{TW}_+\)
- The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
- Paraconsistent logics included in Lewis' S4
- A basic quasi-Boolean logic of intuitionistic character
- R-Mingle is Nice, and so is Arnon Avron
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix. II: Only one designated value
- On the Blok-Esakia theorem
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- Subresiduated Nelson algebras
- An intriguing logic with two implicational connectives
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
This page was built for publication: What is strict implication?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5341748)
