Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers

We develop a duality theory for small Boolean pretoposes in which the dual of the [italic capital]T is the groupoid of models of a Boolean pretopos [italic capi

This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to univer

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fiel

This e-book presents several basic methods and results of order theory that are currently used in various branches of mathematics. It presents topics that requi