Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-22T05:00:53.799Z Has data issue: false hasContentIssue false

A Lemma for Negationless Propositional Logics and its Applications

Published online by Cambridge University Press:  22 January 2016

Tosiyuki Tugué*
Affiliation:
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 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
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1966

References

[1] Church, A., Introduction to mathematical logic, I, Princeton, 1956.Google Scholar
[2] Curry, H.B., Foundations of mathematical logic, New York, 1963.Google Scholar
[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), 222243.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), 331353.Google Scholar
[7] Ono, K., A formalism for the classical sentence-logic, Nagoya Math. J. (in printing).Google Scholar