文献

J-GLOBAL ID：202202290947454791   整理番号：22A1104941

パラドックスから真実へ 形式言語における自己参照入門【JST・京大機械翻訳】

From Paradox to Truth An Introduction to Self-reference in Formal Language

著者 (1件)： Leigh Graham E. (Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Gothenburg, Sweden)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13206  ページ： 343-353  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 真実と関連概念の論理的解析への短い紹介を示した。仮説が真実と自己参照のパラドックスにおいて暗黙であるかどうかを調べ,これらの考察から生ずる真実の重要な形式的理論のいくつかを提示した。Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 論理 ,  *形式言語 ,  理論 ,  概念 ,  *逆理

著者キーワード (4件)： パラドックス ,  真実 ,  自己参照 ,  一次論理

分類 (2件)： 論理代数  (JB03000H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： パラドックス ,  形式言語 ,  自己 ,  参照