Article PDF
Avoid common mistakes on your manuscript.
References
Beazer, R., Macnab, D. S.,Modal Extensions of Heyting Algebras. (to appear in Coll. Math.)
Dowker, C. H., Papert, D.,Quotient Frames and Subspaces. Proc. London Math. Soc.,16 (1966), 275–296.
Dowker, C. H. Strauss, D. P.,Separation Axioms for Frames, in Topics in Topology. (Ed. A. Csaszar), (North-Holland, 1974).
Freyd, P. J.,Aspects of Topoi. Bull. Austral. Math. Soc.,7 (1972), 1–76.
Gratzer, G.,Lattice Theory. (Freeman, San Francisco, 1971).
Lawvere, F. W.,Quantifiers and Sheaves. Actes Congrès Intern. Math. (1970), Tome1, 329–334.
Lawvere, F. W.,Toposes, Algebraic Geometry and Logic. (Springer Lecture Notes 274, Berlin, 1972).
Macnab, D. S.,An Algebraic Study of Modal Operators on Heyting Algebras with Applications to Topology and Sheafification, Ph.D. Thesis, Aberdeen, 1976.
Rasiowa, H.,An Algebraic Approach to Non-Classical Logics. (North-Holland, Amsterdam, 1974).
Varlet, J.,Relative Annihilators in Semi-lattices.Bull. Aust. Math. Soc.,9 (1973), 169–185.
Wraith, G. C.,Lectures on Elementary Topoi, in Model Theory and Topoi. (Springer Lecture Notes 445, Berlin, 1975).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Macnab, D.S. Modal operators on Heyting algebras. Algebra Universalis 12, 5–29 (1981). https://doi.org/10.1007/BF02483860
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02483860