Semantic studies of intuitionistic logic
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using the usual methods of investigation of classical informal logic. Beth models and Kripke models are presented in a manner which does not depend upon a prior definition of the notion of degree of a form...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2429/33644 |