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.

中文翻译：

---

似然逻辑的证明搜索系统

本文介绍了用于似然逻辑（LL）的免割Gentzen型后续演算LLK。证明LL的演算是完善的。使用引入的演算LLK，提出了LL的决策过程。