Kooperativer Bibliotheksverbund

UID:

Format: 1 Online-Ressource (xxi, 509 p.) , ill , 24 cm

Edition: 1st ed

Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3

ISBN: 0444521410 , 9780444521415

Series Statement: Studies in logic and the foundations of mathematics v. 151

Note: Includes bibliographical references (p. 479-495) and index

Additional Edition: Reproduktion von Residuated lattices 2007

Language: English

URL: Volltext

URL: Volltext  (Deutschlandweit zugänglich)

URL: Inhaltstext

UID:

Format: 1 online resource (532 p.)

Edition: 1st ed.

ISBN: 1-281-05106-3 , 9786611051068 , 0-08-048964-8

Series Statement: Studies in logic and the foundations of mathematics, v. 151

Content: 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

Note: Description based upon print version of record. , Cover; Copyright Page; Table of Contents; Detailed Contents; List of Figures; List of Tables; Introduction; Chapter 1. Getting started; 1.1. First-order languages and semantics; 1.1.1. Preorders; 1.1.2. Posets; 1.1.3. Lattices; 1.1.4. Heyting algebras and Boolean algebras; 1.1.5. Semigroups, monoids and other groupoids; 1.2. Concepts from universal algebra; 1.2.1. Homomorphisms, subalgebras, substructures, direct products; 1.2.2. Congruences; 1.2.3. Free algebras; 1.2.4. More on Heyting and Boolean algebras; 1.2.5. Mal'cev conditions; 1.2.6. Ultraproducts and Jónsson's Lemma , 1.2.7. Equational logic 1.2.8. Quasivarieties; 1.3. Logic; 1.3.1. Hilbert calculus for classical logic; 1.3.2. Gentzen's sequent calculus for classical logic; 1.3.3. Calculi for intuitionistic logic; 1.3.4. Provability in Hilbert and Gentzen calculi; 1.4. Logic and algebra; 1.4.1. Validity of formulas in algebras; 1.4.2. Lindenbaum-Tarski algebras; 1.4.3. Algebraization; 1.4.4. Superintuitionistic logics; 1.5. Cut elimination in sequent calculi; 1.5.1. Cut elimination; 1.5.2. Decidability and subformula property; 1.6. Consequence relations and matrices; 1.6.1. Consequence relations , 1.6.2. Inference rules 1.6.3. Proofs and theorems; 1.6.4. Matrices; 1.6.5. Examples; 1.6.6. First-order and (quasi)equational logic; Exercises; Notes; Chapter 2. Substructural logics and residuated lattices; 2.1. Sequent calculi and substructural logics; 2.1.1. Structural rules; 2.1.2. Comma, fusion and implication; 2.1.3. Sequent calculus for the substructural logic FL; 2.1.4. Deducibility and substructural logics over FL; 2.2. Residuated lattices and FL-algebras; 2.3. Important subclasses of substructural logics; 2.3.1. Lambek calculus; 2.3.2. BCK logic and algebras; 2.3.3. Relevant logics , 2.3.4. Linear logic 2.3.5. ukasiewicz logic and MV-algebras; 2.3.6. Fuzzy logics and triangular norms; 2.3.7. Superintuitionistic logics and Heyting algebras; 2.3.8. Minimal logic and Brouwerian algebras; 2.3.9. Fregean logics and equivalential algebras; 2.3.10. Overview of logics over FL; 2.4. Parametrized local deduction theorem; 2.5. Hilbert systems; 2.5.1. The systems HFLe and HFL; 2.5.2. Derivable rules; 2.5.3. Equality of two consequence relations; 2.6. Algebraization and deductive filters; 2.6.1. Algebraization; 2.6.2. Deductive filters; Exercises; Notes , Chapter 3. Residuation and structure theory 3.1. Residuation theory and Galois connections; 3.1.1. Residuated pairs; 3.1.2. Galois connections; 3.1.3. Binary residuated maps; 3.2. Residuated structures; 3.3. Involutive residuated structures; 3.3.1. Involutive posets; 3.3.2. Involutive pogroupoids; 3.3.3. Involutive division posets; 3.3.4. Term equivalences; 3.3.5. Constants; 3.3.6. Dual algebras; 3.4. Further examples of residuated structures; 3.4.1. Boolean algebras and generalized Boolean algebras; 3.4.2. Partially ordered and lattice ordered groups , 3.4.3. The negative cone of a residuated lattice , English

Additional Edition: ISBN 0-444-52141-0

Language: English

UID:

Format: XXI, 509 S. , graph. Darst. , 24 cm

Edition: Transferred to digital printing 2007, 1. ed.

ISBN: 0444521410 , 9780444521415

Series Statement: Studies in logic and the foundations of mathematics 151

Note: Includes bibliographical references (p. 479 - 495) and index

Additional Edition: Online-Ausg. u.d.T. Residuated lattices Amsterdam [u.a.] : Elsevier, 2007 ISBN 0444521410

Additional Edition: ISBN 9780080489643

Additional Edition: ISBN 0080489648

Additional Edition: ISBN 9780444521415

Additional Edition: Erscheint auch als Online-Ausgabe Galatos, Nikolaos Residuated Lattices Oxford : Elsevier Science & Technology, 2007 ISBN 9780080489643

Additional Edition: Erscheint auch als Online-Ausgabe Residuated lattices Amsterdam : Elsevier, 2007 ISBN 0444521410

Additional Edition: ISBN 9780444521415

Language: English

Keywords: Residuenkalkül ; Verbandstheorie

URL: Inhaltstext