Nelson algebras through Heyting ones: I

Studia Logica 49 (1):105-126 (1990)
  Copy   BIBTEX

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. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,213

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
51 (#227,859)

6 months
1 (#414,449)

Historical graph of downloads
How can I increase my downloads?

References found in this work

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.

View all 9 references / Add more references