| 000 -LEADER |
|---|
| fixed length control field |
03991nam a22003975i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310151501.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110621s2011 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789400708402 |
|
978-94-007-0840-2 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA8.9-10.3 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Dordrecht : |
| -- |
Springer Netherlands, |
| -- |
2011. |
| 912 ## - |
|---|
| -- |
ZDB-2-SMA |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Mundici, D. |
| Relator term |
author. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Advanced Łukasiewicz calculus and MV-algebras |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc |
by D. Mundici. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVIII, 258 p. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Trends in Logic ; |
| Volume number/sequential designation |
35 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface -- Chapter 1. Prologue: de Finetti coherence criterion and Łukasiewicz logic -- Chapter 2. Rational polyhedra, Interpolation, Amalgamation -- Chapter 3. The Galois connection (Mod, Th) in Ł∞ 21 -- Chapter 4. The spectral and the maximal spectral space -- Chapter 5. De Concini-Procesi theorem and Schauder bases -- Chapter 6. Bases and finitely presented MV-algebras -- Chapter 7. The free product of MV-algebras -- The construction of free products -- Chapter 8. Direct limits, confluence and multisets -- Chapter 9. Tensors -- Chapter 10. States and the Kroupa-Panti Theorem -- Chapter 11. The MV-algebraic Loomis-Sikorski theorem.- Chapter 12. The MV-algebraic Stone-von Neumann theorem -- Chapter 13. Recurrence, probability, measure -- Chapter 14. Measuring polyhedra and averaging truth-values -- Chapter 15. A Rényi conditional in Łukasiewicz logic -- Chapter 16. The Lebesgue state and the completion of FREEn -- Chapter 17. Finitely generated projective MV-algebras -- Chapter 18. Effective procedures for Ł∞ and MV-algebras -- Chapter 19. A first-order Łukasiewicz logic with [0, 1]-identity -- Chapter 20. Applications, further reading, selected problems -- Chapter 21. Background results -- Special Bibliography. References. Index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
In recent years, the discovery of the relationships between formulas in Łukasiewicz logic and rational polyhedra, Chang MV-algebras and lattice-ordered abelian roups, MV-algebraic states and coherent de Finetti’s assessments of continuous events, has changed the study and practice of many-valued logic. This book is intended as an up-to-date monograph on infinite-valued Łukasiewicz logic and MV-algebras. Each chapter features a combination of classical and re¬cent results, well beyond the traditional domain of algebraic logic: among others, a comprehensive account is given of many effective procedures that have been re¬cently developed for the algebraic and geometric objects represented by formulas in Łukasiewicz logic. The book embodies the viewpoint that modern Łukasiewicz logic and MV-algebras provide a benchmark for the study of several deep mathematical prob¬lems, such as Rényi conditionals of continuously valued events, the many-valued generalization of Carathéodory algebraic probability theory, morphisms and invari¬ant measures of rational polyhedra, bases and Schauder bases as jointly refinable partitions of unity, and first-order logic with [0,1]-valued identity on Hilbert space. Complete versions are given of a compact body of recent results and techniques, proving virtually everything that is used throughout, so that the book can be used both for individual study and as a source of reference for the more advanced reader. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics. |
|
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
|
|---|
| Topical term or geographic name as entry element |
Mathematics. |
|
|---|
| Topical term or geographic name as entry element |
Mathematical Logic and Foundations. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9789400708396 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-94-007-0840-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
