似然逻辑的证明搜索系统

Log. J. IGPL Pub Date : 2019-07-30 DOI:10.1093/JIGPAL/JZZ022

R. Alonderis, H. Giedra

{"title":"似然逻辑的证明搜索系统","authors":"R. Alonderis, H. Giedra","doi":"10.1093/JIGPAL/JZZ022","DOIUrl":null,"url":null,"abstract":"\n 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.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A proof-search system for the logic of likelihood\",\"authors\":\"R. Alonderis, H. Giedra\",\"doi\":\"10.1093/JIGPAL/JZZ022\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\\n 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.\",\"PeriodicalId\":304915,\"journal\":{\"name\":\"Log. J. IGPL\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-07-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Log. J. IGPL\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/JIGPAL/JZZ022\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Log. J. IGPL","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/JIGPAL/JZZ022","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文介绍了似然逻辑(LL)的无割根岑型序贯演算LLK。证明了该方法是完备的。利用引入的微积分LLK，给出了一种关于LL的决策过程。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A proof-search system for the logic of likelihood

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Log. J. IGPL

自引率

0.00%

发文量