A weak intuitionistic propositional logic with purely constructive implication

Mitsuhiro Okada

Research output: Contribution to journalArticle

Abstract

We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.

Original languageEnglish
Pages (from-to)371-382
Number of pages12
JournalStudia Logica
Volume46
Issue number4
DOIs
Publication statusPublished - 1987 Dec 1
Externally publishedYes

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science

Fingerprint Dive into the research topics of 'A weak intuitionistic propositional logic with purely constructive implication'. Together they form a unique fingerprint.

  • Cite this