Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
arXiv:1008.3145v1[math.LO]18Aug2010 First-Order Logical Duality
 

Summary: arXiv:1008.3145v1[math.LO]18Aug2010
First-Order Logical Duality
Steve Awodey
Department of Philosophy
Carnegie Mellon University
Pittsburgh, PA 15217
USA
awodey@cmu.edu
Henrik Forssell
Department of Philosophy
Carnegie Mellon University
Pittsburgh, PA 15217
USA
henrikforssell@gmail.com
August 19, 2010
Abstract
From a logical point of view, Stone duality for Boolean algebras relates
theories in classical propositional logic and their collections of models.
The theories can be seen as presentations of Boolean algebras, and the
collections of models can be topologized in such a way that the theory

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics