Cut free sequent calculus for logic S5n(ED) | Zendy

Haroldas Giedra | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Cut free sequent calculus for logic S5n(ED)

Author(s) -

Haroldas Giedra

Publication year - 2010

Publication title -

lietuvos matematikos rinkinys

Language(s) - English

Resource type - Journals

eISSN - 2335-898X

pISSN - 0132-2818

DOI - 10.15388/lmr.2010.61

Subject(s) - sequent , sequent calculus , natural deduction , soundness , cut elimination theorem , mathematics , calculus (dental) , completeness (order theory) , proof calculus , equivalence (formal languages) , discrete mathematics , computer science , mathematical analysis , programming language , geometry , medicine , dentistry , mathematical proof

Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and completeness of Gentzen style system. Kanger style indexed sequent calculus is defined for cut elimination.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research