No CrossRef data available.
Article contents
A Lemma for Negationless Propositional Logics and its Applications
Published online by Cambridge University Press: 22 January 2016
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 note, we treat the positive sentential logic LPS and the primitive sentential logic (the positive implicational calculus of Hilbert) LOS1). LOS has ‘implication’ as the only logical symbol and is a subsystem of LPS.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
[3]
Lorenzen, P., Einführung in die operative Logik und Mathematik, Berlin-Göttingen-Heidel-berg, 1955.CrossRefGoogle Scholar
[4]
Kalmár, L., Über die Axiomatisierbarkeit des Aussagenkalküls, Acta Univ. Szeged, 7 (1934-5), 222–243.Google Scholar
[5]
Kleene, S.C., Introduction to metamathematics, Amsterdam-Groningen and New York-Tronto, 1952.Google Scholar
[6]
Ono, K., On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331–353.Google Scholar
[7]
Ono, K., A formalism for the classical sentence-logic, Nagoya Math. J. (in printing).Google Scholar
You have
Access