Graduate studies at Western
Studia Logica 49 (1):105 - 126 (1990)
|Abstract||The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley (, ) for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described (Thm 2.3). The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction (, ) is also given (Thm 3.6). These results are applied to compare the equational category N of Nelson algebras and some its subcategories (and their duals) with the equational category H of Heyting algebras (and its dual). It is proved (Thm 4.1) that the category N is topological over the category H.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
S. Awodey & M. A. Warren (forthcoming). Martin-Löf Complexes. Annals of Pure and Applied Logic.
Valeria Castaño & Marcela Muñoz Santis (2011). Subalgebras of Heyting and De Morgan Heyting Algebras. Studia Logica 98 (1-2):123-139.
Andrzej Sendlewski (1995). Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property. Studia Logica 55 (3):377 - 388.
I. Janioka-Żuk (1980). Finite Axiomatization for Some Intermediate Logics. Studia Logica 39 (4):415 - 423.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93 - 124.
Added to index2009-01-28
Total downloads4 ( #189,470 of 740,550 )
Recent downloads (6 months)0
How can I increase my downloads?