No CrossRef data available.
Article contents
On Reducibility of Provability in the Primitive Logic [LO]
Published online by Cambridge University Press: 22 January 2016
Extract
In the present paper, we would like to show a theorem concerning with reducibility of provability in the primitive logic. This theorem seems to suggest a procedure to find the proof-note of a given proposition which is provable in the primitive logic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1970