文献

J-GLOBAL ID：201702212871024162   整理番号：17A0755972

形式的矛盾の論理を考慮したナンセンスとその展開のHalldenの論理【Powered by NICT】

Hallden’s Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency

著者 (1件)： Omori Hitoshi
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： DEXA  ページ： 129-133  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ナンセンス(とその展開)のSoren Halldenの論理と形式的不整合(LFIs)の論理の間の関係,パラコンシステンシーにおける主要な伝統の一つを調べた。paraconsistentistsによる大きな注意は払われなかっが,Halldenの論理はLFIsに接続されたうまくできる。論文の主な結果は,LFIsの観点からLennart AqvistとKrister Segerbergにより研究したナンセンスの論理の拡大の再定式化である。より具体的には,三値意味論とH ilbert式システムを提示し,健全性と完全性の結果を証明した。も一貫性と真の演算子に関連したいくつかの定義可能性結果を観察し,plurivalent意味論にGraham Priestの最近の研究の観点から三値意味論の真理値の「解釈」を簡単に議論した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 健全性 ,  完全性 ,  定式化 ,  *意味論
準シソーラス用語： *矛盾 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 矛盾 ,  論理 ,  展開