Cut Elimination in Categories: 6 (Trends in Logic, 6) - Image 1

£105.94

Springer Cut Elimination in Categories: 6 (Trends in Logic, 6)

Name: Cut Elimination in Categories: 6 (Trends in Logic, 6)
Brand: Springer
Price: 105.94 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£106 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £107 (48 days, 55.8%)

Price range: £106 - £113

Price levels: 3 different prices over 86 days

Description

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048152267
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 09 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Cut Elimination in Categories: 6 (Trends in Logic, 6)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Categories for Types (Studies in Emotion and Social Interaction)

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Goguen Categories: A Categorical Approach to L-fuzzy Relations: 25 (Trends in Logic, 25)

Categorical Perspectives (Trends in Mathematics)

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Protoalgebraic Logics: 10 (Trends in Logic, 10)

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Structural Proof Theory

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Logic of Domains (Progress in Theoretical Computer Science)

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Constructive Negations and Paraconsistency: 26 (Trends in Logic, 26)

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)

Truth and Falsehood: An Inquiry into Generalized Logical Values: 36 (Trends in Logic, 36)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)