文献

J-GLOBAL ID：202202282160136212   整理番号：22A0966780

Peirce存在グラフ(Alpha)の一般図形再構成【JST・京大機械翻訳】

A Generic Figures Reconstruction of Peirce’s Existential Graphs (Alpha)

著者 (3件)： Gangle Rocco (Endicott College, Beverly, MA, USA) ,  Caterina Gianluca (Endicott College, Beverly, MA, USA) ,  Tohme Fernando (Universidad Nacional del Sur, Buhia Blanca, Argentina)
資料名： Erkenntnis  (Erkenntnis)
巻： 87  号： 2  ページ： 623-656  発行年： 2022年 
JST資料番号： W4327A  ISSN： 0165-0106  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,命題論理(Peirce Existential Graphs [数式:原文を参照])のための図式システムの一般的図形の概念に基づくカテゴリ理論分析を提示する。カットのみのExistential Graphs(有限森林のよく研究されたカテゴリーと等価)の先物カテゴリー[数式:原文を参照]の直接的な構築は,再構成された一般的,または無標識のモードにおける変数を導入するカテゴリー[数式:原文を参照]のさらなる構築のための基礎を提供する。これらのカテゴリーにおけるMorphimisは,構文的埋込みまたは等価ではあるが二重に拡張する。Peirceシステムの用例を通して,一般的図形方式が,そのような図表システムにおける構文論と意味論の間の関係の形式的調査を容易にする方法を示した。Copyright Springer Nature B.V. 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  カテゴリー ,  図表 ,  命題論理 ,  概念 ,  *構文論 ,  文法 ,  再構成 ,  図形 ,  形式 ,  方式 ,  カテゴリー理論
準シソーラス用語： 用例 ,  構文 ,  一般図 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： グラフ ,  図形 ,  再構成