Bookcover of A General View of Normalisation through Atomic Flows
Booktitle:

A General View of Normalisation through Atomic Flows

LAP LAMBERT Academic Publishing (2013-01-22 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-659-26454-2

ISBN-10:
3659264547
EAN:
9783659264542
Book language:
English
Blurb/Shorttext:
Atomic flows is a geometric invariant of classical propositional proofs in deep inference. In this thesis, atomic flows are used to describe new normal forms of proofs, of which the traditional normal forms are special cases. Several normalisation procedures for obtaining the normal forms are also given. A new deep-inference formalism called the functorial calculus, which is more flexible than the traditional calculus of structures, is defined and used to present the results. Two surprising results are presented, that proofs can be normalised without looking at their logical connectives or logical rules; and that normalisation can be performed in less than exponential time.
Publishing house:
LAP LAMBERT Academic Publishing
Website:
https://www.lap-publishing.com/
By (author) :
Tom Gundersen
Number of pages:
152
Published on:
2013-01-22
Stock:
Available
Category:
Mathematics
Price:
59.00 €
Keywords:
Logic, Normalisation, Computation, deep inference, Atomic Flows

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING