Residuated Lattices: An Algebraic Glimpse at Substructural Logics - Image 1

£95.00

Elsevier Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Name: Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Brand: Elsevier
Price: 95.0 GBP
Availability: InStock

Computer Science

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

£95 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 69 days · 69 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price

Price Analysis

Most common price: £95 (69 days, 100.0%)

Price range: £95 - £95

Price levels: 1 different prices over 69 days

Description

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic

Product Specifications

Brand: Elsevier
Format: paperback
ASIN: 0444550666
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 04 April 2013
Listed Since: 16 April 2013

Barcode

No barcode data available

Elsevier Residuated Lattices: An Algebraic Glimpse at Substructural Logics

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

Lectures on the Curry-Howard Isomorphism

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Springer Semantical Investigations in Heyting's Intuitionistic Logic

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

A Formalization of Set Theory without Variables (Colloquium Publications)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Springer - A Short Introduction to Intuitionistic Logic Book

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic for Mathematicians