Residuated structures in algebra and logic / George Metcalfe, Francesco Paoli, Constantine Tsinakis.
Material type: TextSeries: Mathematical surveys and monographs ; no. 277.Publisher: Providence, Rhode Island : American Mathematical Society, [2023]Copyright date: ©2023Description: xiii, 265 pages : illustrations ; 26 cmContent type:- text
- unmediated
- volume
- 9781470469856
- 1470469855
- Algebraic logic
- Algebra, Universal
- Mathematical logic and foundations -- General logic -- Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
- Mathematical logic and foundations -- Model theory -- Equational classes, universal algebra
- Mathematical logic and foundations -- Algebraic logic -- Lattices and related structures
- 511.324 M588r
- 03B47 | 03C05 | 03F52 | 03G10 | 06D35 | 06F05 | 06F15
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina | Livros (Books) | 511.324 M588r 2023 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000809903 |
Includes bibliographical references (pages 253-265) and index.
An introduction to residuated structures, a common thread binding together algebra and logic, designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.
There are no comments on this title.