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

£106.20

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

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

Computer Science

This is the most expensive it has ever been. Walk away.

£106 today · previous high £106 · all-time low £106

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 24 days · 18 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 24 days • 1 price levels

Days at Price

Price Analysis

Most common price: £106 (18 days, 100.0%)

Price range: £106 - £106

Price levels: 1 different prices over 18 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)

This is the most expensive it has ever been. Walk away.

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)

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

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

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

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)

Dag Prawitz on Proofs and Meaning: 7 (Outstanding Contributions to Logic, 7)

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)

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

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

Structural Proof Theory

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

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

Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras

Logic of Domains (Progress in Theoretical Computer Science)

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

Infinite Homotopy Theory: 6 (K-Monographs in Mathematics, 6)