文献

J-GLOBAL ID：202002264416893148   整理番号：20A1121821

原子多形による直感論理の洗練された解釈【JST・京大機械翻訳】

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

著者 (2件)： Espirito Santo Jose (Centro de Matematica, Universidade do Minho, Braga, Portugal) ,  Ferreira Gilda (Universidade Aberta, Lisbon, Portugal)
資料名： Studia Logica  (Studia Logica)
巻： 108  号： 3  ページ： 477-507  発行年： 2020年 
JST資料番号： W4974A  ISSN： 0039-3215  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,証明書の翻訳が基本的である原子システムFへのIPCの代替埋込みを研究する。しかし,それは,非接続と異常(Russell-Prawitz変換に従って定義される)に対する消去規則の許容性に基づいている。瞬間化オーバフローに基づく埋込みと比較して,代替埋込みは証明性のレベルと証明アイデンティティの保存において等しく良く機能する。しかし,それは短縮シーケンスのより短い誘導とより短いシミュレーションを生み出す。ラムダ用語を技術開発に採用し,アルゴリズムコンテンツを代替と元の埋め込みの両方に対して明示した。代替埋め込みによる削減段階の保存の調査は,「行政」の発生の分析を可能にする。これらは,一方では,2つの埋め込みの間の差異を理解するためのキーである。一方,IPCの原子系Fへの埋め込みに関する最終語を理解することができた。Copyright Springer Nature B.V. 2019 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  オーバフロー ,  *コンテンツ
準シソーラス用語： 証明書 ,  アイデンティティ , 【Automatic Indexing@JST】

著者キーワード (3件)： 原子系F ,  順列変換 ,  インスタンスオーバーフロー

分類 (3件)： 符号理論  (ND02030R) ,  計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (4件)： 原子 ,  多形 ,  直感 ,  論理