Nagoya Mathematical Journal

A lemma for negationless propositional logics and its applications

Tosiyuki Tugue

Full-text: Open access

Article information

Source
Nagoya Math. J., Volume 30 (1967), 303-308.

Dates
First available in Project Euclid: 14 June 2005

Permanent link to this document
https://projecteuclid.org/euclid.nmj/1118796818

Mathematical Reviews number (MathSciNet)
MR0215686

Zentralblatt MATH identifier
0183.00704

Subjects
Primary: 02.12

Citation

Tugue, Tosiyuki. A lemma for negationless propositional logics and its applications. Nagoya Math. J. 30 (1967), 303--308. https://projecteuclid.org/euclid.nmj/1118796818


Export citation

References

  • [1] A. Church, Introduction to mathematical logic, I, Princeton,1956.
  • [2] H.B.Curry, Foundations of mathematical logic, NewYork,1963.
  • [3] P.Lorenzen, Einfhrung indieoperative Logik undMathematik, Berlin-Gottingen-Heidel- berg, 1955.
  • [4] L. Kalmar, Uber die Axiomatisierbarkeit des Aussagenkalkls, Acta Univ. Szeged, 7 (1934-5), 222-243.
  • [5] S.C. Kleene, Introduction to metamathematics, Amsterdam-Groningen and NewYork- Tronto, 1952.
  • [6] K. Ono, On universal character of theprimitive logic, Nagoya Math.J., 27 (1966), 331– 353.
  • [7] K. Ono,p.135.