|
|||||
|
|
A note on dual‐intuitionistic logic |
|
| Authors: | Norihiro Kamide |
| 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?. |
| Keywords: | Dual‐intuitionistic logic Goodman's logic Nelson's logic strong negation |