What is strict implication?

DOI10.2307/2271336MaRDI QIDQ5341748zbMATH OpenOpenAlexFDO

Authors I. Hacking

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

zbMATH Keywords

mathematical logic

Cites work

• An essay in modal logic
• scientific article; zbMATH DE number 3062910 (Why is no real title available?)

Cited in

(26)

• 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
• Can god be all-good, all-knowing, and all-controlling? A new solution to the logical problem of evil

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)