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 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
George Metcalfe, University of Bern, Switzerland.
Francesco Paoli, University of Cagliari, Italy.
Constantine Tsinakis, Vanderbilt University, Nashville, TN.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 17,38 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 11,68 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 265 pages. 10.00x7.00x0.75 inches. In Stock. Nº de ref. del artículo: __1470469855
Cantidad disponible: 1 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 246. Nº de ref. del artículo: B9781470469856
Cantidad disponible: 7 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 47120430-n
Cantidad disponible: 7 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9781470469856
Cantidad disponible: 5 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Nº de ref. del artículo: 398211051
Cantidad disponible: 3 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 47120430-n
Cantidad disponible: 12 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 47120430
Cantidad disponible: 12 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 26399214644
Cantidad disponible: 3 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 47120430
Cantidad disponible: 7 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 2023. paperback. . . . . . Nº de ref. del artículo: V9781470469856
Cantidad disponible: 1 disponibles