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

Information Systems

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 27 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £95 - £95

Price levels: 1 different prices over 27 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 > Information Systems
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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

A Formalization of Set Theory without Variables (Colloquium Publications)

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

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

Introduction to Mathematical Logic: Extended Edition

Constructive Models (Siberian School of Algebra and Logic)

Springer Computational Invariant Theory: 130 Mathematics Book

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Partial Covers, Reducts and Decision Rules in Rough Sets: Theory and Applications: 145 (Studies in Computational Intelligence, 145)

Logic for Applications (Texts in Computer Science)

Handbook of Philosophical Logic: Volume 8

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

Logic and General Theory of Science: Lectures 1917/18 With Supplementary Texts from the First Version of 1910/11: 15 (Husserliana: Edmund Husserl – Collected Works, 15)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic