• DocumentCode
    626269
  • Title

    Duality in Logic and Computation

  • Author

    Panangaden, Prakash

  • Author_Institution
    Sch. of Comput. Sci., McGill Univ., Montreal, QC, Canada
  • fYear
    2013
  • fDate
    25-28 June 2013
  • Firstpage
    4
  • Lastpage
    11
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
  • Conference_Location
    New Orleans, LA
  • ISSN
    1043-6871
  • Print_ISBN
    978-1-4799-0413-6
  • Type

    conf

  • DOI
    10.1109/LICS.2013.64
  • Filename
    6571530
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=626269