Macnab, D. S. Modal operators on Heyting algebras. (English) Zbl 0459.06005 Algebra Univers. 12, 5-29 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 36 Documents MSC: 06D20 Heyting algebras (lattice-theoretic aspects) 06B10 Lattice ideals, congruence relations 06B23 Complete lattices, completions 54A05 Topological spaces and generalizations (closure spaces, etc.) Keywords:Heyting algebras; modal operators; admissible filter PDFBibTeX XMLCite \textit{D. S. Macnab}, Algebra Univers. 12, 5--29 (1981; Zbl 0459.06005) Full Text: DOI References: [1] Beazer, R., Macnab, D. S.,Modal Extensions of Heyting Algebras. (to appear in Coll. Math.) · Zbl 0436.06010 [2] Dowker, C. H., Papert, D.,Quotient Frames and Subspaces. Proc. London Math. Soc.,16 (1966), 275–296. · Zbl 0136.43405 · doi:10.1112/plms/s3-16.1.275 [3] Dowker, C. H. Strauss, D. P.,Separation Axioms for Frames, in Topics in Topology. (Ed. A. Csaszar), (North-Holland, 1974). · Zbl 0293.54001 [4] Freyd, P. J.,Aspects of Topoi. Bull. Austral. Math. Soc.,7 (1972), 1–76. · Zbl 0252.18001 · doi:10.1017/S0004972700044828 [5] Gratzer, G.,Lattice Theory. (Freeman, San Francisco, 1971). [6] Lawvere, F. W.,Quantifiers and Sheaves. Actes Congrès Intern. Math. (1970), Tome1, 329–334. [7] Lawvere, F. W.,Toposes, Algebraic Geometry and Logic. (Springer Lecture Notes 274, Berlin, 1972). [8] Macnab, D. S.,An Algebraic Study of Modal Operators on Heyting Algebras with Applications to Topology and Sheafification, Ph.D. Thesis, Aberdeen, 1976. [9] Rasiowa, H.,An Algebraic Approach to Non-Classical Logics. (North-Holland, Amsterdam, 1974). · Zbl 0299.02069 [10] Varlet, J.,Relative Annihilators in Semi-lattices.Bull. Aust. Math. Soc.,9 (1973), 169–185. · Zbl 0258.06009 · doi:10.1017/S0004972700043094 [11] Wraith, G. C.,Lectures on Elementary Topoi, in Model Theory and Topoi. (Springer Lecture Notes 445, Berlin, 1975). · Zbl 0323.18005 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.