作者 -
帕维尔·帕洛夫斯基 ( 根特大学 ) 组织 项目 摘要 最近，在一场关于非正式可证明性的持续辩论中，开发了非正式可证明BAT和CABAT的非确定性逻辑来模拟这一概念。 CABAT逻辑被定义为BAT逻辑的扩展，它本身没有独立和体面的语义。 本文的目的是表明，从语义上讲，这两种逻辑都相当复杂，既不能用有限多值确定性语义来表征，也不能用包括邻域语义在内的可能单词语义来表征。 关键词 可能性 ， 不确定性逻辑 ， BAT公司 ， 驾驶室 ， 有限确定性语义 ， 非确定性语义 ， 非正式证明 ， BAT逻辑
下载
-
（…）.pdf格式 全文 （已发布版本） | 仅UGent | PDF格式 | 251.01 KB
引用
MLA公司 -
Pawel Pawlowski。 “非形式可证明性的非确定性逻辑没有有限特征。” 逻辑语言与信息杂志 第30卷，第4期，2021年，第805-17页，doi:10.1007/s10849-021-09344-9。 亚太地区 -
Pawlowski，P.（2021）。 非形式可证明的非确定性逻辑没有有限特征。 逻辑语言与信息杂志 ， 30 (4), 805–817. https://doi.org/10.1007/s10849-021-09344-9 芝加哥作者日期 -
Pawel Pawlowski。 2021.“非正式可证明性的非确定性逻辑没有有限特征。” 逻辑语言与信息杂志 30 (4): 805–17. https://doi.org/10.1007/s10849-021-09344-9。 芝加哥作者日期（所有作者） -
Pawel Pawlowski。 2021.“非正式可证明性的非确定性逻辑没有有限特征。” 逻辑语言与信息杂志 30 (4): 805–817. doi:10.1007/s10849-021-09344-9。 温哥华 -
1 Pawlowski P.非形式可证明的非确定性逻辑没有有限特征。 逻辑语言与信息杂志。 2021; 30(4):805–17. 电气与电子工程师协会 -
[1] P.Pawlowski，“非正式可证明性的非确定性逻辑没有有限的特征，” 逻辑语言与信息杂志 第30卷，第4期，第805–817页，2021年。
@第{8746789条， 抽象={ {最近，在一场关于非正式可证明性的持续争论中，开发了非正式可证明的非确定性逻辑BAT和CABAT来建模这个概念。CABAT逻辑被定义为BAT逻辑的扩展，它本身没有独立和体面的语义。本文的目的是表明，从语义上讲，这两种逻辑都是 ather复合体，它们既不能用有限多值确定性语义来表征，也不能用包括邻域语义在内的可能单词语义来表征。}}， 作者={{Pawlowski，Pawel}}， issn={{0925-8531}}， journal={逻辑语言与信息期刊}}， keywords={{PROBABILITY，不确定性逻辑，BAT，CABAT，有限确定性语义，非确定性语义，非正式可证明性，BAT逻辑}}， 语言={{eng}}， 数字={{4}}， 页面={{805--817}}， title={{非形式可证明的非确定性逻辑没有有限特征}}， url={http://doi.org/10.1007/s10849-021-09344-9}}， 体积={{30}}， 年份={2021}}， }
海拔高度 在Altmetric中查看 科学之网 引用次数：