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 ([15], [16]) 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 ([6], [25]) 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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A. Białynicki-Birula and H. Rasiowa, On the representation of quasi-Boolean algebras, Bulletin de l'Académie Polonaise des Sciences, Ser. Math. Astr. Phys. 5 (1957), pp. 259–261.
A. Białynicki-Birula and H. Rasiowa, On constructible falsity in the constructive logic with strong negation, Colloquium Mathematicum 6 (1958), pp. 287–310.
D. Brignole and A. Monteiro, Caractérisation des algebres de Nelson par des égalités I and II, Proceedings of Japan Academy 43 (1967), pp. 279–283 and 284–285.
R. Cignoli, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis 23 (1986), pp. 262–292.
W. H. Cornish and P. R. Fowler, Coproduts of Kleene algebras, Journal of the Australian Mathematical Society 27 (1979), pp. 209–220.
M. M. Fidel, An algebraic study of a prepositional system of Nelson, Mathematical Logic, Proceedings of the First Brazilian Conference, Marcel Dekker, New York 1978, pp. 99–117.
V. Goranko, The Craig interpolation theorem for propositional logics with strong negation, Studia Logica 44 (1985), pp. 291–317.
G. Grätzer, Universal Algebra, Van Nostrand, Princeton 1968.
H. Herrlich and G. E. Strecker, Category Theory, Allyn and Bacon Inc. Boston 1973.
H. Herrlich, Topological functors, General Topology and Applications 4 (1974), pp. 125–142.
A. A. Markov, Constructive logic in Russian, Uspekhi Matematiceskih Nauk 5 (1950), pp. 187–188.
A. Monteiro, Construction des algèbres de Nelson finies, Bulletin de l' Académie Polonaise des Sciences, Ser. Math. Astr. Phys. 11 (1963), pp. 359–362.
A. Monteiro, Les algèbres de Nelson semi-simple, Notaś de Logica Matematica, Inst. de Mat. Universdad Nacional del Sur, Bahia Blanca.
D. Nelson, Constructible falsity, Journal of Symbolic Logic 14 (1949), pp. 16–26.
H. A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bulletin of the London Mathematical Society 2 (1970), pp. 186–190.
H. A. Priestley, Ordered topological spaces and the representation of distributive lattices, Proceedings of the London Mathematical Society 24 (1972), pp. 507–530.
H. A. Priestley, The construction of spaces dual to pseudo-complemented distributive lattices, Quart. Journal of Mathematics, Oxford 26 (1975), pp. 215–228.
H. A. Priestley, Ordered sets and duality for distributive lattices, Annales of Discrete Mathematics 23 (1984), pp. 39–60.
H. Rasiowa, N-lattices and constructive logics with strong negation, Fundamenta Mathematice 46 (1958), pp. 61–80.
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, PWN Warszawa 1974.
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, PWN Warszawa 1970.
A. Sendlewski, Some investigations of varieties of N-lattices, Studia Logica 43 (1984), pp. 257–280.
A. Sendlewski, Topological duality for Nelson algebras and its application, Bulletin of the Section of Logic, Polish Academy of Sciences 13 (1984), pp. 215–221.
A. Sendlewski, Equationally definable classes of Nelson algebras and their connection with classes of Heyting algebras, (in Polish), Preprint of the Institute of Mathematics of Nicholas Copernicus University no 2 (1984), pp. 1–170.
D. Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia Logica 36 (1977), pp. 109–125.
O. Wyler, Top categories and categorical topology, General Topology and Applications, 1 (1971), pp. 17–28.
Author information
Authors and Affiliations
Additional information
The main results of this article are a part of theses of the author's doctoral dissertation at the Nicholas Copernicus University in 1984 (cpmp. [24]).
Research partially supported by Polish Government Grant CPBP 08-15.
Rights and permissions
About this article
Cite this article
Sendlewski, A. Nelson algebras through Heyting ones: I. Stud Logica 49, 105–126 (1990). https://doi.org/10.1007/BF00401557
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00401557