A note on dual‐intuitionistic logic
Norihiro Kamide · Mathematical logic quarterly · 2003
Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N−.