Code: 08861583

Proof-Theoretical Coherence

Name: Proof-Theoretical Coherence
Brand: King's College, London
SKU: 08861583
Price: 26.44 EUR
Availability: InStock
Author: Zoran Petric
ISBN: 9781904987062

by Zoran Petric

Language: English
Binding: Paperback
Number of pages: 392
Publisher: King's College, London, 2004
More about this

26.44 €

RRP: 29.36 €

You save 2.92 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Death Note (All-in-One Edition)
38.91 € -25 %
Buy
Women Who Run with the Wolves
9.01 € -21 %
Buy
Heaven
10.23 € -17 %
Buy
LEGO Gadgets
15.60 € -29 %
Buy
The Art of War
7.19 € -25 %
Buy
Witchcraft
13.67 € -13 %
Buy
Lemegeton: The Complete Books I-V
19.95 € -6 %
Buy
Fangs, Volume 1
11.44 € -28 %
Buy
Classroom of the Elite Vol. 11.5
11.54 € -29 %
Buy
Atomic Habits
16.81 € -34 %
Buy
Life is Strange
27.66 € -29 %
Buy
From Crook to Cook
19.45 € -20 %
Buy
That Time I Got Reincarnated as a Slime, Vol. 9
11.34 € -25 %
Buy
The Hobbit: Illustrated by the Author
41.24 € -29 %
Buy
4-Hour Work Week
18.94 € -16 %
Buy
HSK Standard Course 1 - Workbook
18.94 €
Buy
Educated
13.37 € -13 %
Buy
Zak George's Dog Training Revolution
12.15 € -28 %
Buy
World of Flowers
13.27 € -29 %
Buy
Metallica All the Songs: The Story Behind Every Track
49.65 € -12 %
Buy
Getting Past No
23 €
Buy
Make Life Beautiful
21.48 € -20 %
Buy
I Would Leave Me If I Could
16.71 € -26 %
Buy
Test Your English Vocabulary in Use Advanced with Answers
20.56 € -8 %
Buy
After Ever Happy
10.83 € -16 %
Buy
Unravel Me
8.40 € -18 %
Buy
The Flavor Matrix
28.06 € -27 %
Buy
How to Render
32.72 € -25 %
Buy
Harry Potter and the Goblet of Fire
9.21 € -25 %
Buy
Origami Paper 500 sheets Chiyogami Patterns
12.46 € -21 %
Buy
Sailor Moon 1
10.02 € -24 %
Buy
Konosuba: God's Blessing on This Wonderful World!, Vol. 1 (light novel)
13.16 € -22 %
Buy
Prayer Book
25.22 € -15 %
Buy
The Star Wars Archives. 1977-1983. 40th Ed.
25.53 € -9 %
Buy
The Last Unicorn
14.48 € -29 %
Buy
Tress of the Emerald Sea
21.78 € -30 %
Buy
The Highly Sensitive Person
14.89 € -24 %
Buy
Komi Can't Communicate, Vol. 14
7.89 € -25 %
Buy
Art of Invisibility
17.83 € -17 %
Buy
Oracle of Mystical Moments
17.02 € -27 %
Buy
Check Your English Vocabulary for IELTS
12.86 € -15 %
Buy
The 10X Rule
25.33 € -3 %
Buy
Warcraft: Day of the Dragon
14.79 € -2 %
Buy
Imagine a Forest
14.79 € -24 %
Buy
Reign of the Seven Spellblades, Vol. 1 (light novel)
15.80 € -20 %
Buy
A Guide to the Project Management Body of Knowledge and the Standard for Project Management
72.76 € -21 %
Buy
Master Guide to Drawing Anime
16.21 € -25 %
Buy
Where's Wally? The Totally Essential Travel Collection
11.54 € -29 %
Buy
Gordon Ramsay's Ultimate Cookery Course
28.77 € -28 %
Buy
History Is All You Left Me
8.50 € -30 %
Buy
Travel Book
54.11 €
Buy
Demon in the Wood
16.81 € -26 %
Buy
My Gently Raised Beast, Vol. 2
14.89 € -24 %
Buy
Phantastes
14.08 € -25 %
Buy
Less and More
78.74 € -25 %
Buy
Doctor Who: The Tenth Doctor Vol. 2: The Weeping Angels of Mons
11.85 € -25 %
Buy
Marvel Zombies Omnibus
21.27 € -25 %
Buy
Vivian Maier
49.75 €
Buy
Fairy Tail: 100 Years Quest 4
8.81 € -28 %
Buy
Manifest: Dive Deeper
17.32 € -31 %
Buy
Rebel's Wardrobe
52.99 € -16 %
Buy
Answered Prayers
11.34 € -25 %
Buy
The Learner's Kanji Dictionary
18.23 € -25 %
Buy
Autobiography of Mr. Spock
18.64 € -25 %
Buy
Colossus
13.98 € -24 %
Buy
Garbage Pail Kids
18.33 € -24 %
Buy
Veronika Decides to Die
6.48 € -29 %
Buy
Mouse's Wood
17.73 € -17 %
Buy
Motorcycle Fuel Systems
39.51 € -15 %
Buy
Blood and Thunder
16.91 € -24 %
Buy
YO-KAI WATCH, Vol. 2
9.31 € -25 %
Buy
Nudist Camp Follies - Volume II
23.91 € -1 %
Buy
Studies in Freemasonry and the Compagnonnage
21.98 € -2 %
Buy
Lilies
26.54 € -24 %
Buy
Into the Impossible
11.34 € -25 %
Buy
Lord of the Flies
10.12 € -29 %
Buy
Dragons & Treasures (Dungeons & Dragons)
9.72 € -29 %
Buy
36 Deadly Bubishi Points
11.85 € -26 %
Buy
Monocle Travel Guide to Amsterdam
16.10 € -24 %
Buy
EMDR Coloring & Activity Book for Kids
11.34 € -25 %
Buy
Elements Of Garden Design
12.76 € -25 %
Buy
Mythic World
11.24 € -29 %
Buy
The Spark
14.79 € -28 %
Buy
Django 4 By Example - Fourth Edition
48.23 € -1 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 64 loyalty points

Book synopsis

This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of distributive lattice category and Boolean category codify a plausible nontrivial notion of identity of proofs in classical propositional logic, which is in accordance with Gentzen's cut-elimination procedure for multiple-conclusion sequents modified by admitting new principles called union of proofs and zero proofs. It is proved that these notions of category are coherent in the sense that there is a faithful structure-preserving functor from freely generated distributive lattice categories and Boolean categories into the category whose arrows are relations between finite ordinals-a category related to generality of proofs and to the notion of natural transformation. These coherence results yield a simple decision procedure for equality of proofs. Coherence in the same sense is also proved for various more general notions of category that enter into the notions of distributive lattice category and Boolean category. Some of these coherence results, like those for monoidal and symmetric monoidal categories are well known, but are here presented in a new light. The key to this categorification of the proof theory of classical propositional logic is distribution of conjunction over disjunction that is not an isomorphism as in cartesian closed categories.