9781470469856 - residuated structures in algebra and logic: 277 (mathematical surveys and monographs) de metcalfe, george; paoli, francesco; tsinakis, constantine (16 resultados)
- Tapa blanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 108,93
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: new.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,75
Envío por EUR 5,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,89
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. 2023. paperback. . . . . .
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 132,09
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 142,77
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: New. This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics fo…r substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures.The book is 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.
Residuated Structures in Algebra and Logic (Mathematical Surveys and Monographs)
George Metcalfe (author)/ Francesco Paoli (author) & Constantine Tsinakis (author)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 138,50
Envío por EUR 11,69Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 265 pages. 10.00x7.00x0.75 inches. In Stock.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,36
Envío por EUR 17,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 145,28
Envío por EUR 9,08Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. 2023. paperback. . . . . . Books ship from the US and Ireland.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 156,20
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 152,53
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 162,83
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic s…emantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures.The book is 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,33
Envío por EUR 15,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 163,45
Envío por EUR 3,45Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 156,67
Envío por EUR 17,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,37
Envío por EUR 76,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: New. This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics fo…r substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures.The book is 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.
- Tapa blanda
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 224,07
Envío por EUR 31,98Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic s…emantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures.The book is 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
