Methods of Cut-Elimination by Alexander Leitsch, Matthias Baaz

Methods of Cut-Elimination

Trends in Logic

Alexander Leitsch, Matthias Baaz

290 pages missing pub info (editions)

nonfiction computer science mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...
Accept and close

By using The StoryGraph, you agree to our use of cookies.
We use a small number of cookies to provide you with a great experience.

Find out more