Object logic and morphism logic
ジャーナル
フリー
1972 年 24 巻 4 号 p. 684-697
詳細
- Published: 1972 Received: 1972/01/31 Available on J-STAGE: 2006/09/29 Accepted: - Advance online publication: - Revised: -
-
訂正情報
訂正日: 2006/09/29 訂正理由: - 訂正箇所: 引用文献情報 訂正内容: 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.
訂正日: 2006/09/29 訂正理由: - 訂正箇所: PDFファイル 訂正内容: -
PDFをダウンロード (959K)
メタデータをダウンロード
RIS形式
BIB TEX形式
テキスト
メタデータのダウンロード方法
発行機関連絡先
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
記事の1ページ目
