Title :
Duality in Logic and Computation
Author :
Panangaden, Prakash
Author_Institution :
Sch. of Comput. Sci., McGill Univ., Montreal, QC, Canada
Abstract :
I give a brief introduction to Stone duality and then survey a number of duality theories that arise in logic and computer science. I mention some more unfamiliar dualities at the end which may be of importance to emerging fields within computer science.
Keywords :
computer science; duality (mathematics); logic; Stone duality; computer science; duality theories; logic; Boolean algebra; Computer science; Mirrors; Probabilistic logic; Semantics; Vectors; Stone duality; category theory; completeness; semantics;
Conference_Titel :
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location :
New Orleans, LA
Print_ISBN :
978-1-4799-0413-6
DOI :
10.1109/LICS.2013.64
