×

zbMATH — the first resource for mathematics

Modal operators on Heyting algebras. (English) Zbl 0459.06005

MSC:
06D20 Heyting algebras (lattice-theoretic aspects)
06B10 Lattice ideals, congruence relations
06B23 Complete lattices, completions
54A05 Topological spaces and generalizations (closure spaces, etc.)
PDF BibTeX XML Cite
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
[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
[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
[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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.