Proceedings of the Japan Academy

Proofs of some axioms by Stroke function

Yasuo Setô

Full-text: Open access

Article information

Source
Proc. Japan Acad. Volume 44, Number 10 (1968), 1024-1027.

Dates
First available in Project Euclid: 20 November 2007

Permanent link to this document
http://projecteuclid.org/euclid.pja/1195520940

Mathematical Reviews number (MathSciNet)
MR0235977

Zentralblatt MATH identifier
0182.31406

Digital Object Identifier
doi:10.3792/pja/1195520940

Citation

Setô, Yasuo. Proofs of some axioms by Stroke function. Proceedings of the Japan Academy 44 (1968), no. 10, 1024--1027. doi:10.3792/pja/1195520940. http://projecteuclid.org/euclid.pja/1195520940.


Export citation

References

  • [1] Robert Price: The Stroke Function in natural deduction, math. Logik und Grundlagen d. Math., 7, 117-123 (1961).