文献

J-GLOBAL ID：202202269002384428   整理番号：22A0966514

自然演えきの自然性(II):原子多形と一般化命題結合について【JST・京大機械翻訳】

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives

著者 (3件)： Pistone Paolo (Dipartimento di Informatica-Scienza e Ingegneria, Universita di Bologna, Bologna, Italy) ,  Tranchini Luca (Wilhelm-Schickard-Institut, Universitaet Tuebingen, Tuebingen, Germany) ,  Petrolo Mattia (Centro de Ciencias Naturais e Humanas, Universidade Federal do ABC, Sao Bernardo do Campo, Brazil)
資料名： Studia Logica  (Studia Logica)
巻： 110  号： 2  ページ： 545-592  発行年： 2022年 
JST資料番号： W4974A  ISSN： 0039-3215  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 以前の論文では,ここでは,自然演繹の証明理論的特性の抽出を,システムFへのそれらの不可解な翻訳から検討した。著者らの重要なアイデアは,多形型理論のパラメトリックモデルに見られるいくつかの特性で,構文レベルで,システムFタラ化のための拡張方程式理論を導入することであった。自然演繹誘導の証明理論的特性を抽出するための異なるアプローチを,原子システムFと呼ばれるシステムFの予言的フラグメントへの直観的命題論理の埋込みに基づいて,最近の一連の論文において提案した。本論文では,このアプローチが,二次自然演繹の著者らの方程式研究の中で一般的な説明と,パラメータ性に関する明確な意味的正当化を見つけることを示した。Copyright The Author(s) 2021. corrected publication 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 論理 ,  理論 ,  命題論理 ,  *命題 ,  型理論
準シソーラス用語： パラメトリックモデル , 【Automatic Indexing@JST】

著者キーワード (7件)： 二次論理 ,  命題定量化 ,  証明のアイデンティティ ,  Russell-Prawitz変換 ,  有限多項式ファンクタ ,  順列変換 ,  予測性

分類 (4件)： 論理代数  (JB03000H) ,  計算機システム開発  (JD02010R) ,  自然語処理  (JE06000L) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 演えき ,  原子 ,  多形 ,  一般化 ,  命題