Order, Algebra and Logics

摘要

Recent years have witnessed a marked flourishing of research activity on the many and varied interactions between logic and what might usefully be called order algebra, the study of ordered algebraic structures. The use of algebraic methods has proved particularly fruitful in the development of non-classical logics-including families of modal logics, substructural logics and fuzzy logics-with ordered structures playing a central role in this relationship. Conversely, methods more traditionally associated with logic, such as algorithmic presentations of algebras via Hilbert or Gentzen systems, have provided new approaches to tackling problems in order algebra. The aim of this special issue is to showcase the richness and scope of the interactions between these two fields.