What is strict implication?
From MaRDI portal
Publication:5341748
DOI10.2307/2271336zbMath0132.24503OpenAlexW2076222411MaRDI QIDQ5341748
Publication date: 1964
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271336
Related Items (24)
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A closer look at some subintuitionistic logics ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Modal companions of intermediate propositional logics ⋮ Modal translations in substructural logics ⋮ An intriguing logic with two implicational connectives ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ 10th Asian Logic Conference ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ A constructive negation for logics including TW+ ⋮ Interpretations of intuitionist logic in non-normal modal logics ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ On the Blok-Esakia Theorem ⋮ The modal logic of reverse mathematics ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ Noncumulative dialectical models and formal dialectics ⋮ R-Mingle is Nice, and so is Arnon Avron
Cites Work
This page was built for publication: What is strict implication?
