Premium
A note on dual‐intuitionistic logic
Author(s) -
Kamide Norihiro
Publication year - 2003
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310055
Subject(s) - intuitionistic logic , mathematics , dual (grammatical number) , intermediate logic , constructive , many valued logic , intuitionism , algebra over a field , pure mathematics , discrete mathematics , calculus (dental) , linear logic , artificial intelligence , computer science , philosophy , description logic , process (computing) , linguistics , programming language , geometry , medicine , dentistry
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 − .