previous :: next
A criterion for the separable axiomatization of Gödel's $S_n $
Tsutomu Hosoi
Source: Proc. Japan Acad. Volume 43, Number 5
(1967), 365-368.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pja/1195521604
Mathematical Reviews number (MathSciNet): MR0224434
Zentralblatt MATH identifier: 0168.24901
Digital Object Identifier: doi:10.3792/pja/1195521604
References
[1] M. Hanazawa: A characterization of axiom schema playing the role of Tertium non Datur in intuitionistic logic. Proc. Japan Acad., 42, 1007-1010 (1966).
Mathematical Reviews (MathSciNet): MR213228
Zentralblatt MATH: 0191.28601
Digital Object Identifier: doi:10.3792/pja/1195521795
Project Euclid: euclid.pja/1195521795
[2] T. Hosoi: The separable axiomatization of the intermediate propositional systems Sn of Godel. Proc. Japan Acad., 42, 1001-1006 (1966).
Mathematical Reviews (MathSciNet): MR216939
Zentralblatt MATH: 0156.00803
Digital Object Identifier: doi:10.3792/pja/1195521794
Project Euclid: euclid.pja/1195521794
[3] T. Hosoi: on the axiomatic method and the algebraic method for dealing with propositional logics. (To appear).
Mathematical Reviews (MathSciNet): MR219387
Zentralblatt MATH: 0162.31105
previous :: next
Proceedings of the Japan Academy
