Abstract
Abstract 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have