RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2002 Volume 41, Number 1, Pages 104–113 (Mi al174)
This article is cited 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.

UDC: 510.64

Received: 05.07.2000


 English version: Algebra and Logic, 2002, 41:1, 59–64

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025