Deep Inference and Symmetry in Classical Proofs

By Kai Brünnler

In this thesis we see deductive systems for classical propositionaland predicate logic which use deep inference, i.e. inference rules apply arbitrarily deep inside formulas, and a certain symmetry,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832504486
• ISBN13: 9783832504489
• Release Date: January 2004
• Publisher: Logos Verlag Berlin
• Length: 101 Pages