Original Paper

A note on dual-intuitionistic logic

  1. Norihiro Kamide

Article first published online: 3 JUL 2003

DOI: 10.1002/malq.200310055

Issue

Mathematical Logic Quarterly

Mathematical Logic Quarterly

Volume 49, Issue 5, pages 519–524, September 2003

Additional Information

How to Cite

Kamide, N. (2003), A note on dual-intuitionistic logic. Mathematical Logic Quarterly, 49: 519–524. doi: 10.1002/malq.200310055

Author Information

  1. Department of Philosophy, Keio University, 2-15-45 Mita, Minatoku, Tokyo 108-8345, Japan

Publication History

  1. Issue published online: 3 JUL 2003
  2. Article first published online: 3 JUL 2003
  3. Manuscript Accepted: 28 APR 2003
  4. Manuscript Revised: 25 APR 2003
  5. Manuscript Received: 20 AUG 2002

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (91K)

Keywords:

  • Dual-intuitionistic logic;
  • Goodman's logic;
  • Nelson's logic;
  • strong negation

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−.

Get PDF (91K)