文献

J-GLOBAL ID：201902237674534311   整理番号：19A1715867

Routley星の光における16の[数式:原文を参照]【JST・京大機械翻訳】

SIXTEEN[Formula : see text] in Light of Routley Stars

著者 (2件)： Omori Hitoshi (Department of Philosophy I, Ruhr-University Bochum, Bochum, Germany) ,  Skurt Daniel (Department of Philosophy I, Ruhr-University Bochum, Bochum, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11541  ページ： 516-532  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 最もよく知られた多値論理FDEの一つに対して,Richard RoutleyとVALERIE Routleyによる星意味論,Michael Dunnによる二値関係意味論,およびNuel Belnapによる四値意味論を含むいくつかの意味論がある。最後の意味論は,三格子16[数式:原文を参照]を導入するために,Yaroslav ShramkoとHeinrich Wansingを触発した。本論文では,Routleyの意味論とDunn意味論を適用することにより,16の[数式:原文を参照]に対する2つの代替意味表現を提供した。著者らの新しい意味論に基づいて,著者らは,FDEベースのモーダル論理に対する関係と同様に,より少ない真実値を有する関連システムについて議論した。Copyright 2019 Springer-Verlag GmbH Germany, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論 ,  多値論理

著者キーワード (4件)： FDE ,  16種の[数式:原文を参照] ,  Routley星 ,  Dunn意味論

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

タイトルに関連する用語 (2件)： 数式 ,  参照