Abstract
Weakening the conditions on the Kripke semantics for propositional intuitionistic logic (J) unearths a family of logics below J. This paper provides a characterization of eleven such logics, using Kripke semantics, proof theory, and algebraic models. Questions about modelling quantification in these logics are also discussed.
Citation
Greg Restall. "Subintuitionistic Logics." Notre Dame J. Formal Logic 35 (1) 116 - 129, Winter 1994. https://doi.org/10.1305/ndjfl/1040609299
Information