文献

J-GLOBAL ID：202002274828236988   整理番号：20A0741315

Belnap-Dunn論理の可算的に多くの弱点【JST・京大機械翻訳】

Countably Many Weakenings of Belnap-Dunn Logic

著者 (2件)： Ma Minghui (Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China) ,  Lin Yuanlei (Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China)
資料名： Studia Logica  (Studia Logica)
巻： 108  号： 2  ページ： 163-198  発行年： 2020年 
JST資料番号： W4974A  ISSN： 0039-3215  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 方程式[数式:原文を参照]([数式:原文を参照]と[数式:原文を参照])によって定義されるOckham代数学の多様性であるベルマンの品種[数式:原文を参照]は,最終的な置換不変結果関係[数式:原文を参照]を決定する。結果関係[数式:原文を参照]の公理化として,連続システム[数式:原文を参照]を導入した。システム[数式:原文を参照]は,形式言語のために与えられたフレーム意味論の下で,単一有限フレーム[数式:原文を参照]によって特徴付けられる。フレームと代数の間の双対性により,[数式:原文を参照]は[数式:原文を参照]値論理と見なすことができる。それは,それが単一演算子を有する[数式:原文を参照]要素の分布格子によって特徴付けられる。さらに,[数式:原文を参照]に対して,構造ルールフリー,無カット,および終端連続システム[数式:原文を参照]を確立した。[数式:原文を参照]のCraig補間特性を,[数式:原文を参照]を理論的に利用することで証明した。Copyright Springer Nature B.V. 2018 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 双対性 ,  意味論 ,  内挿法 ,  形式言語 ,  *連続系 ,  品種
準シソーラス用語： 公理化 , 【Automatic Indexing@JST】

著者キーワード (4件)： Belnap-Dunn論理 ,  フレーム意味論 ,  代数 ,  逐次システム

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

タイトルに関連する用語 (1件)： 論理