|
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””, 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
|
|