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

##### MSC:
 03B20 Subsystems of classical logic (including intuitionistic logic) 03F05 Cut-elimination and normal-form theorems
Full Text: