.png){kind=icon}
返回
Logics with lower and upper probability operators
.png){kind=icon}
OA
AI
DOI：10.1016/j.ijar.2017.05.013.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present a first-order and a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models, and we discuss decidability issues for the propositional logic. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. For some restrictions of the logics we provide finitary axiomatic systems.(1) (C) 2017 Published by Elsevier Inc.
Keyword:
Probabilistic logic
Upper and lower probabilities
Axiomatization
Completeness theorem
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
引用论文
Evolution and integration of innate immune systems from fruit flies to man: lessons and questions
PREAI
分享收藏MRONJ of the Mandible—From Decortication to a Complex Jaw Reconstruction Using a CAD/CAM-Guided Bilateral Scapula Flap.png)
MedicinaOAAI
MedicinaIF0
OAAI分享收藏分享收藏Potassium Metal Batteries: Stable Potassium Metal Anodes with an All‐Aluminum Current Collector through Improved Electrolyte Wetting (Adv. Mater. 49/2020)钾金属电池: 稳定的钾金属阳极，通过改进的电解质润湿全铝集电器 (Adv. Mater. 49/2020)OAAI
OAAI分享收藏
查看更多内容