A proof-search system for the logic of likelihood

被引：1
|
作者：
Alonderis, R. [1 ]
Giedra, H. [1 ]
机构：
[1] Vilnius Univ, Inst Data Sci & Digital Technol, Akademijos 4, LT-2600 Vilnius, Lithuania
来源：
LOGIC JOURNAL OF THE IGPL | 2020年 / 28卷 / 03期
关键词：
Likelihood logic; sequent calculus; decidability; SEQUENT CALCULUS;
D O I：
10.1093/jigpal/jzz022
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The cut-free Gentzen-type sequent calculus LLK for the logic of likelihood (LL) is introduced in the paper. It is proved that the calculus is sound and complete for LL. Using the introduced calculus LLK, a decision procedure for LL is presented.
引用
收藏
页码：261 / 280
页数：20
相关论文
共 50 条
12345