Subintuitionistic logics

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)116-129
Number of pages14
JournalNotre Dame Journal of Formal Logic
Issue number1
Publication statusPublished - 1994


Dive into the research topics of 'Subintuitionistic logics'. Together they form a unique fingerprint.

Cite this