Maximum cuts in extended natural deduction | Zendy

Mirjana Borisavljević | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Maximum cuts in extended natural deduction

Author(s) -

Mirjana Borisavljević

Publication year - 2010

Publication title -

publications de l institut mathematique

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.246

H-Index - 17

eISSN - 1820-7405

pISSN - 0350-1302

DOI - 10.2298/pim1001059b

Subject(s) - sequent , natural deduction , sequent calculus , mathematics , cut elimination theorem , predicate (mathematical logic) , predicate logic , algorithm , calculus (dental) , computer science , discrete mathematics , proof calculus , artificial intelligence , geometry , programming language , description logic , medicine , dentistry , mathematical proof

We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum segments from derivations of extended natural deduction. We show that the image of a sequent derivation without maximum cuts is a derivation without maximum segments (i.e., a normal derivation) in extended natural deduction.

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