No CrossRef data available.
Article contents
A Characterization of the Intuitionistic Propositional Logic
Published online by Cambridge University Press: 22 January 2016
Extract
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
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1970