Nagoya Mathematical Journal

Some remarks on evaluations of the primitive logic

Hiroakira Ono

Full-text: Open access

Article information

Source
Nagoya Math. J., Volume 38 (1970), 63-69.

Dates
First available in Project Euclid: 14 June 2005

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

Mathematical Reviews number (MathSciNet)
MR0258588

Zentralblatt MATH identifier
0196.00903

Subjects
Primary: 02.00

Citation

Ono, Hiroakira. Some remarks on evaluations of the primitive logic. Nagoya Math. J. 38 (1970), 63--69. https://projecteuclid.org/euclid.nmj/1118797964


Export citation

References

  • [1] H. Curry, A note on the reduction of Gentzen's calculus LJ, Bull. Amer. Math. Soc, 45 (1939) 288-293.
  • [2] L. Henkin, An algebraic characterization of quantifiers, Fund. Math., 37 (1950) 63-74.
  • [3] J.C.C. McKinsey and A. Tarski, On closed elements in closure algebras, Ann. of Math., 47 (1946) 122-162.
  • [4] K. Ono, On a class of truth-value evaluations of the primitive logic, Nagoya Math. J., 31 (1968) 71-80.
  • [5] K. Ono, On a class of set-theoretical interpretations of the primitive logic, (to appear).
  • [6] H. Rasiowa, Algebraic treatment of the functional calculi of Heyting and Lewis, Fund. Math., 38 (1951) 99-126.
  • [7] H. Rasiowa and R. Sikorski, Themathematics of metamathematics, Warszawa, 1963, Mono- grafie Matematyczne torn 41. Research institute for mathematical sciences, Kyoto University