Residuated structures in algebra and logic

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Metcalfe, George (VerfasserIn)
Weitere Verfasser:	Paoli, Francesco (VerfasserIn), Tsinakis, Constantine (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Providence, Rhode Island American Mathematical Society 2023
Schriftenreihe:	Mathematical surveys and monographs volume 277
Schlagworte:	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 -- Proof theory and constructive mathematics -- Linear logic and other substructural logics > Mathematical logic and foundations -- Algebraic logic -- Lattices and related structures > Order, lattices, ordered algebraic structures -- Distributive lattices -- MV-algebras > Order, lattices, ordered algebraic structures -- Ordered structures -- Ordered semigroups and monoids > Order, lattices, ordered algebraic structures -- Ordered structures -- Ordered groups
Online Zugang:	zbMATH
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!