Graduate studies at Western
|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 can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this case 2. In the present work, we generalize the entire arrangement from propositional to first-order logic. Boolean algebras are replaced by..|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Roberto Magari (1975). Representation and Duality Theory for Diagonalizable Algebras. Studia Logica 34 (4):305 - 313.
Vincenzo Marra & Luca Spada (2012). The Dual Adjunction Between MV-Algebras and Tychonoff Spaces. Studia Logica 100 (1-2):253-278.
N. G. Martínez (1990). The Priestley Duality for Wajsberg Algebras. Studia Logica 49 (1):31 - 46.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
William P. Hanf & Dale Myers (1983). Boolean Sentence Algebras: Isomorphism Constructions. Journal of Symbolic Logic 48 (2):329-338.
Kosta Došen (1989). Duality Between Modal Algebras and Neighbourhood Frames. Studia Logica 48 (2):219 - 234.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic 1 (2):146-166.
Bruno Teheux (2007). A Duality for the Algebras of a Łukasiewicz N + 1-Valued Modal System. Studia Logica 87 (1):13 - 36.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
Added to index2010-08-22
Total downloads21 ( #65,455 of 739,369 )
Recent downloads (6 months)1 ( #61,680 of 739,369 )
How can I increase my downloads?