Dualities for Structures of Applied Logics
Orlowska, Ewa / Radzikowska, Anna Maria / Rewitzky, Ingid
This book provides a framework for presenting algebras and frames arising as semantic structures for formal languages and for proving relationships between the structures. For this purpose a discrete framework, referred to as discrete duality, is used rather than a topological framework.
Ideas from the classical dualities and representations of Stone, Priestley, and Urquhart are applied in such a way that topology is not part of any of the ...