Subintuitionistic Logics
Greg Restall
Source: Notre Dame J. Formal Logic Volume 35, Number 1 (1994), 116-129.
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.
Full-text: Open access
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040609299
Mathematical Reviews number (MathSciNet):
MR1271703
Digital Object Identifier: doi:10.1305/ndjfl/1040609299
Zentralblatt MATH identifier:
0811.03005
Notre Dame Journal of Formal Logic
