zbMATH — the first resource for mathematics

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)].

03B20 Subsystems of classical logic (including intuitionistic logic)
03F05 Cut-elimination and normal-form theorems
PDF BibTeX Cite
Full Text: DOI