A note on dual-intuitionistic logic. (English) Zbl 1036.03006
From the summary: In this paper it is shown that there is a correspondence between Goodman’s dual-intuitionistic logic [N. D. Goodman, Z. Math. Logik Grundlagen Math. 27, 119–126 (1981; Zbl 0467.03019)] and Nelson’s constructive logic \(N^{-}\) [A. Almukdad and D. Nelson, J. Symb. Log. 49, 231–233 (1984; Zbl 0575.03016)].
Reviewer: Mohammad Ardeshir (Tehran)
MSC:
03B20 | Subsystems of classical logic (including intuitionistic logic) |
03F05 | Cut-elimination and normal-form theorems |