|
This article is cited in 27 scientific papers (total 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.
Received: 04.07.1967
Citation:
V. A. Yankov, “The calculus of the weak “Law of excluded middle””, 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: | 925 | | Russian version PDF: | 301 | | English version PDF: | 144 | | References: | 84 | | First page: | 1 |
|