Back to Search
Start Over
A note on dual-intuitionistic logic.
- Source :
- Mathematical Logic Quarterly; Sep2003, Vol. 49 Issue 5, p519-524, 6p
- Publication Year :
- 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<superscript>-</superscript>. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL logic
MATHEMATICS
CALCULUS
MATHEMATICAL analysis
PROOF theory
ALGEBRA
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 49
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13727396
- Full Text :
- https://doi.org/10.1002/malq.200310055