A weak intuitionistic propositional logic with purely constructive implication

Mitsuhiro Okada

研究成果: Article査読

1 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)371-382
ページ数12
ジャーナルStudia Logica
46
4
DOI
出版ステータスPublished - 1987 12 1
外部発表はい

ASJC Scopus subject areas

  • 論理
  • 科学史および科学哲学

フィンガープリント

「A weak intuitionistic propositional logic with purely constructive implication」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル