Memorias de investigación
Book chapters:
Stone duality for first order logic: A nominal approach
Year:2011

Research Areas
  • Information technology and adata processing

Information
Abstract
What are variables, and what is universal quanti?cation over a variable? Nominal sets are a notion of ?sets with names?, and using equational axioms in nominal algebra these names can be given substitution and quanti?cation actions. So we can axiomatise ?rst-order logic as a nominal logical theory. We can then seek a nominal sets representation theorem in which predicates are interpreted as sets; logical conjunction is interpreted as sets intersection; negation as complement. Now what about substitution; what is it for substitution to act on a predicate-interpreted-as-a-set, in which case universal quanti?cation becomes an in?nite sets intersection? Given answers to these questions, we can seek notions of topology. What is the general notion of topological space of which our sets representation of predicates makes predicates into ?open sets?; and what speci?c class of topological spaces corresponds to the image of nominal algebras for ?rst-order logic? The classic Stone duality answers these questions for Boolean algebras, representing them as Stone spaces. Nominal algebra lets us extend Boolean algebras to ?FOL-algebras?, and nominal sets let us correspondingly extend Stone spaces to ?8-Stone spaces?. These extensions reveal a wealth of structure, and we obtain an attractive and self-contained account of logic and topology in which variables directly populate the denotation, and open predicates are interpreted as sets rather than functions from valuations to sets. Keywords: Stone duality, nominal sets, ?rst-order logic, topology, variables
International
Si
Book Edition
Book Publishing
ISBN
978-3-642-22943-5
Series
Book title
Festschrifft in honour of Edward Barringer
From page
20
To page
49
Participants
  • Autor: Murdoch Gabbay . UPM

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa