メトリック
2 レコードビュー
- タイトル
- Towards proof-theoretic semantics for second-order logic
- 作成者 – 役職なし
- Ryota AKIYOSHI
- 出版物に関する詳細
- submitted, 56 pages
- ID
- 991002580625007421
- 組織
- The University of Electro-Communications
- 言語
- 英語
- 資料タイプ
- ジャーナル論文
- リソースのサブタイプ
- rm_misc: Others
ジャーナル論文 - rm_misc: Others
Towards proof-theoretic semantics for second-order logic
submitted, 56 pages
12/2025