Hostname: page-component-cb9f654ff-hn9fh Total loading time: 0 Render date: 2025-08-12T06:14:48.032Z 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.

Information

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