Topological Duality for Distributive Lattices

Topological Duality for Distributive Lattices
Author :
Publisher : Cambridge University Press
Total Pages : 370
Release :
ISBN-10 : 9781009349710
ISBN-13 : 1009349716
Rating : 4/5 (716 Downloads)

Book Synopsis Topological Duality for Distributive Lattices by : Mai Gehrke

Download or read book Topological Duality for Distributive Lattices written by Mai Gehrke and published by Cambridge University Press. This book was released on 2024-02-29 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.


Topological Duality for Distributive Lattices Related Books

Topological Duality for Distributive Lattices
Language: en
Pages: 370
Authors: Mai Gehrke
Categories: Computers
Type: BOOK - Published: 2024-02-29 - Publisher: Cambridge University Press

GET EBOOK

Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers
Duality and Definability in First Order Logic
Language: en
Pages: 122
Authors: Michael Makkai
Categories: Mathematics
Type: BOOK - Published: 1993 - Publisher: American Mathematical Soc.

GET EBOOK

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
Hiroakira Ono on Substructural Logics
Language: en
Pages: 382
Authors: Nikolaos Galatos
Categories: Philosophy
Type: BOOK - Published: 2021-12-13 - Publisher: Springer Nature

GET EBOOK

This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to univer
Ordered Sets and Lattices II
Language: en
Pages: 262
Authors:
Categories:
Type: BOOK - Published: - Publisher: American Mathematical Soc.

GET EBOOK

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fiel
Sets and Ordered Structures
Language: en
Pages: 260
Authors: Sergiu Rudeanu
Categories: Mathematics
Type: BOOK - Published: 2012 - Publisher: Bentham Science Publishers

GET EBOOK

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