References
R. Bables andPh. Dwinger,Distributibe lattices Univ. Missouri Press, Columbia, Miss. (1974).
R. Beazer,The determination congruence on double p-algebras, Algebra Universalis6 (1976), 121–129.
R. Beazer,Regular double p-algebras with Stone congruence lattices, Algebra Universalis9 (1979), 238–243.
R. Beazer,Subdirectly irreducible double Heyting algebras. Algebra Universalis10 (1980), 220–224.
R. Beazer,Subdirectly irreducibles for various pseudocomplemented algebras, Algebra Universalis10 (1980), 225–231.
T. S. Blyth andM. F. Janowitz,Resduation Theory, Pergamon Press, (1972).
R. Cignoli,Moisil algebras, Notas de Logica Matematica No. 27, Universidad Nacional del Sur Bahia Blanca, Argentina, (1970).
G. Epstein andA. Horn P-algebras, an abstraction from Post algebras, Algebra Universalis,4, 195–206.
G. Grätzer,Lattice Theory: First concepts and distributive lattices. Freeman, San Francisco, Cal., (1971).
G. Grätzer,General Lattice Theory, Birkhäuser Verlag, Basel, (1978).
P. R. Halmos,Algebraic Logic, Chelsea Publ. Co., New York, (1962).
T. Katriňák,Equational classes of relative Stone algebras, Notre Dame Journ. Formal Logic,13, 248–254.
T. Katriňák,The structure of distributive double p-algebras. Regularity and congruences, Algebra Universalis3 (1973), 238–246.
T. Katriňák,Subdirectly irreducible modular p-algebras, Algebra Universalis2 (1972), 166–173.
T. Katriňák,Congruence pairs on p-algebras with a modular frame, Algebra Universalis8, (1978), 205–220.
T. Katriňák,Subdirectly irreducible p-algebras, Algebra Universalis9, (1979), 116–126.
T. Katriňák,Subdirectly irreducible distributive double p-algebras (preprint).
P. Köhler,A subdirectly irreducible double Heyting algebra wich is not simple (preprint).
J. Varlet,A regular variety of type<2, 2, 1, 1, 0, 0>, Algebra Universalis2 (1972), 218–223.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Beazer, R. Finitely subdirectly irreducible algebras with pseudocomplementation. Algebra Universalis 12, 376–386 (1981). https://doi.org/10.1007/BF02483897
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02483897