Faithin Omaha eBook Collection

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

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

Orders: Description and Roles