References in:

Intuitionistic validity in T-normal Kripke structures

Annals of Pure and Applied Logic 59 (3):159-173 (1993)

You must login to add references.

Finite Kripke models of HA are locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 12 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...