SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS

This publication has 20 references indexed in Scilit:

• An axiom system for three-valued Ł ukasiewicz propositional calculus.
  Notre Dame Journal of Formal Logic, 1977
• Injective De Morgan and Kleene algebras
  Proceedings of the American Mathematical Society, 1975
• Les algèbres de Heyting et de Lukasiewicz trivalentes.
  Notre Dame Journal of Formal Logic, 1970
• Representation of Distributive Lattices by means of ordered Stone Spaces
  Bulletin of the London Mathematical Society, 1970
• Logic with truth values in A linearly ordered heyting algebra
  The Journal of Symbolic Logic, 1969
• Sur les algèbres de Lukasiewicz injectives
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1965
• Finite limitations on Dummet's LC.
  Notre Dame Journal of Formal Logic, 1962
• The Lattice Theory of Post Algebras
  Transactions of the American Mathematical Society, 1960
• The lattice theory of Post algebras
  Transactions of the American Mathematical Society, 1960
• On Closed Elements in Closure Algebras
  Annals of Mathematics, 1946