|
|||||
|
|
Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics |
|
| Authors: | A. D. Yashin |
| Affiliation: | (1) Ordzhonikidze 42-9, Izhevsk, 426063 |
| Abstract: | An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic. |
| Keywords: | quite intuitionistic protothetics intuitionistic propositional logic interpretation completeness theorem |
| 本文献已被 SpringerLink 等数据库收录！ | |