|
This article is cited in 1 scientific paper (total in 1 paper)
Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics
A. D. Yashin
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.
Received: 05.07.2000
Citation:
A. D. Yashin, “Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics”, Algebra Logika, 41:1 (2002), 104–113; Algebra and Logic, 41:1 (2002), 59–64
Linking options:
https://www.mathnet.ru/eng/al174 https://www.mathnet.ru/eng/al/v41/i1/p104
|
Statistics & downloads: |
Abstract page: | 396 | Full-text PDF : | 163 | References: | 55 | First page: | 1 |
|