Duality in Logic and Computation

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.

[1]  Alonzo Church,et al.  Review: M. H. Stone, The theory of Representations for Boolean Algebras , 1936 .

[2]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[3]  A A Kirillov,et al.  On normed rings , 1987 .

[4]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[5]  W. Rudin,et al.  Fourier Analysis on Groups. , 1965 .

[6]  G. Murphy.  C*-Algebras and Operator Theory , 1990 .

[7]  Alexandra Silva,et al.  Brzozowski's Algorithm (Co)Algebraically , 2011, Logic and Program Semantics.

[8]  Dexter Kozen,et al.  A probabilistic PDL , 1983, J. Comput. Syst. Sci..

[9]  Ina Ciobanu,et al.  On free topological groups , 2009 .

[10]  Vaughan R. Pratt,et al.  The Stone gamut: a coordinatization of mathematics , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[11]  M. Stone,et al.  A General Theory of Spectra. I: I. , 1940, Proceedings of the National Academy of Sciences of the United States of America.

[12]  J. Dixmier.  Les C*-algèbres et leurs représentations .. , 1964 .

[13]  Annabelle McIver,et al.  Abstraction, Refinement and Proof for Probabilistic Systems , 2004, Monographs in Computer Science.

[14]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[15]  Joël Ouaknine,et al.  Duality for Labelled Markov Processes , 2004, FoSSaCS.

[16]  V. M. Tikhomirov.  On Rings of Continuous Functions on Topological Spaces , 1991 .

[17]  T. Ishihara.  Harmonic maps of nonorientable surfaces to four-dimensional manifolds , 1993 .

[18]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[19]  Prakash Panangaden,et al.  Minimization via Duality , 2012, WoLLIC.

[20]  Yde Venema,et al.  Algebras and coalgebras , 2007, Handbook of Modal Logic.

[21]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[22]  Yde Venema,et al.  Stone coalgebras , 2004, Theor. Comput. Sci..

[23]  Robert MullerAugust,et al.  Le ture Notes on Domain Theory , 2007 .

[24]  Gordon D. Plotkin,et al.  Dijkstras Predicate Transformers & Smyth's Power Domaine , 1979, Abstract Software Specifications.

[25]  Alexander Kurz,et al.  Observational logic, constructor-based logic, and their duality , 2003, Theor. Comput. Sci..

[26]  R. Kálmán.  On the general theory of control systems , 1959 .

[27]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[28]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[29]  M. Stone,et al.  The Theory of Representation for Boolean Algebras , 1936 .

[30]  Joelle Pineau,et al.  Representing Systems with Hidden State , 2006, AAAI.

[31]  Dexter Kozen,et al.  Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[32]  Ross Street,et al.  AN INTRODUCTION TO TANNAKA DUALITY AND QUANTUM GROUPS , 1991 .

[33]  Marcello M. Bonsangue,et al.  Duality for Logics of Transition Systems , 2005, FoSSaCS.

[34]  Joelle Pineau,et al.  The Duality of State and Observation in Probabilistic Transition Systems , 2011, TbiLLC.

[35]  Shin-ichi Matsushita.  Topological Groups , 1952 .

[36]  Annabelle McIver,et al.  Probabilistic predicate transformers , 1996, TOPL.

[37]  Michael B. Smyth,et al.  Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.

[38]  W. Arveson.  An Invitation To C*-Algebras , 1976 .

[39]  William Arveson,et al.  A Short Course on Spectral Theory , 2001 .

[40]  J. Brzozowski.  Canonical regular expressions and minimal state graphs for definite events , 1962 .

[41]  M. Arbib,et al.  Adjoint machines, state-behavior machines, and duality☆ , 1975 .

[42]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..