Name: Deep Inference and Symmetry in Classical Proofs (en Inglés)
SKU: 62070334
Price: 93.24 USD
Availability: InStock
Author: Kai Brünnler
ISBN: 9783832504489

portada Deep Inference and Symmetry in Classical Proofs (en Inglés)

Deep Inference and Symmetry in Classical Proofs (en Inglés)

Formato

Libro Físico

Editorial

Logos Verlag

Autor

Kai Brünnler

Idioma

Inglés

N° páginas

101

Encuadernación

Tapa Blanda

ISBN13

9783832504489

Deep Inference and Symmetry in Classical Proofs (en Inglés)

Kai Brünnler (Autor) · Logos Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 29 días háb.

$ 169.53$ 93.24

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 93.24

Llega entre el 28 Oct y el 13 Nov a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Deep Inference and Symmetry in Classical Proofs (en Inglés)"

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, which provides an involution on derivations. Like sequent systems, they have a cut rule which is admissible. Unlike sequent systems, they enjoy various new interesting properties. Notonly the identity axiom, but also cut, weakening and even contraction are reducible to atomic form. This leads to inference rules that are local, meaning that the effort of applying them is bounded, and finitely generating, meaning that, given a conclusion, there is only a finite number of premises to choose from. The systems also enjoy new normal forms for derivations and, in the propositional case, a cut elimination procedure that is drastically simpler than the ones for sequent systems.