|
This article is cited in 26 scientific papers (total in 26 papers)
The calculus of the weak “Law of excluded middle”
V. A. Yankov
Abstract:
We consider a superintuitionistic propositional calculus with an additional axiom.
Received: 04.07.1967
Citation:
V. A. Yankov, “The calculus of the weak “Law of excluded middle””, Izv. Akad. Nauk SSSR Ser. Mat., 32:5 (1968), 1044–1051; Math. USSR-Izv., 2:5 (1968), 997–1004
Linking options:
https://www.mathnet.ru/eng/im2504https://doi.org/10.1070/IM1968v002n05ABEH000690 https://www.mathnet.ru/eng/im/v32/i5/p1044
|
Statistics & downloads: |
Abstract page: | 631 | Russian version PDF: | 247 | English version PDF: | 20 | References: | 50 | First page: | 1 |
|