Reduction of logics to the primitive logic
ジャーナル
フリー
1967 年 19 巻 3 号 p. 384-398
詳細
- Published: 1967 Received: 1967/04/01 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
-
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報 訂正内容: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen, Math. Z., 39 (1934), 176-210, 405-431.
2) K. Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
3) K. Ono, Formal system having just one primitive notion, Nagoya Math. J., 28 (1966), 73-77.
4) K. Ono, On development of formal systems starting from primitive logic, Nagoya Math. J., 28 (1966), 79-83.
5) K. Ono, Taboo versus axiom, Nagoya Math. J., 28 (1966), 113-117.
6) K. Ono, On a practical way of describing formal deductions, Nagoya Math. J., 21 (1962), 115-121.
Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen, Math. Z., 39 (1934), 176-210, 405-431.
[2] K. Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
[3] K. Ono, Formal system having just one primitive notion, Nagoya Math. J., 28 (1966), 73-77.
[4] K. Ono, On development of formal systems starting from primitive logic, Nagoya Math. J., 28 (1966), 79-83.
[5] K. Ono, Taboo versus axiom, Nagoya Math. J., 28 (1966), 113-117.
[6] K. Ono, On a practical way of describing formal deductions, Nagoya Math. J., 21 (1962), 115-121.
訂正日: 2006/09/26 訂正理由: - 訂正箇所: PDFファイル 訂正内容: -
PDFをダウンロード (1290K)
メタデータをダウンロード
RIS形式
BIB TEX形式
テキスト
メタデータのダウンロード方法
発行機関連絡先
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
記事の1ページ目
