Hostname: page-component-7bb8b95d7b-fmk2r Total loading time: 0 Render date: 2024-09-27T07:43:23.515Z Has data issue: false hasContentIssue false

A Characterization of the Intuitionistic Propositional Logic

Published online by Cambridge University Press:  22 January 2016

Nobol Muti*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this short note, is shown a necessary and sufficient condition for a logic to be an intermediate propositional logic in Umezawa’s sense (see the reference), under such an assumption that any logic in consideration (as a subclass of LK-provable propositions) contains at least the axioms of the positive propositional logic LPS (Curry’s LA) as its axioms and is closed with respect to the rules of detachment and substitution.

Type
Research Article
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1970

References

Umezawa, Toshio: Über die Zwischensysteme der Aussagenlogik, Nagoya Math. J., 9 (1955), 181189.Google Scholar