This article is cited in 27 papers

The calculus of the weak “Law of excluded middle”

V. A. Yankov


Abstract: We consider a superintuitionistic propositional calculus with an additional axiom.

UDC: 51.01.16

MSC: 03F55, 03E65, 03E25, 03G05, 03F40

Received: 04.07.1967

 English version: Mathematics of the USSR-Izvestiya, 1968, 2:5, 997–1004

Bibliographic databases:

• 
•