- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 24 (1972) Issue 4
- /
- Article overview
Object logic and morphism logic
JOURNAL
FREE ACCESS
1972 Volume 24 Issue 4 Pages 684-697
Details
- Published: 1972 Received: January 31, 1972 Available on J-STAGE: September 29, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: September 29, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) S. Feferman, Lectures on Proof theory, Proceeding of the Summer School in Logic, Leeds, 1967, Lecture Notes in Mathematics, No. 70, Springer-Verlag, 1968, 1-107.
2) N. Motohashi, Interpolation theorem and characterization theorem, Ann. Japan Assoc. Philos. Sci., 4 (1972), 85-150.
3) N. Motohashi, A faithful interpretation of Intuitionistic predicate logic in Classical predicate logic, to appear.
4) N. Motohashi, An extended relativization theorem, to appear in J. Math. Soc. Japan.
Right : [1] S. Feferman, Lectures on Proof theory, Proceeding of the Summer School in Logic, Leeds, 1967, Lecture Notes in Mathematics, No. 70, Springer-Verlag, 1968, 1-107.
[2] N. Motohashi, Interpolation theorem and characterization theorem, Ann. Japan Assoc. Philos. Sci., 4 (1972), 85-150.
[3] N. Motohashi, A faithful interpretation of Intuitionistic predicate logic in Classical predicate logic, to appear.
[4] N. Motohashi, An extended relativization theorem, to appear in J. Math. Soc. Japan.
Date of correction: September 29, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (959K)
Download citation
RIS
BIB TEX
Text
How to download citation
Contact us
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
Article 1st page
