Abstract
Distributive bounded lattices with a dual homomorphism as unary operation, called Ockham algebras, were firstly studied by Berman (1977). The varieties of Boolean algebras, De Morgan algebras, Kleene algebras and Stone algebras are some of the well known subvarieties of Ockham algebra. In this paper, new results about the congruence lattice of Ockham algebras are given. From these results and Urquhart's representation theorem for Ockham algebras a complete characterization of the subdirectly irreducible Ockham algebras is obtained. These results are particularized for a large number of subvarieties of Ockham algebras. For these subvarieties a full description of their subdirectly irreducible algebras is given as well.
Similar content being viewed by others
References
Balbes, R. andDwinger, P.H., (1974):Distributive Lattices, University of Missouri Pres. Columbia.
Berman, J., (1977): Distributive Lattices with an Additional Unary Operation,Aequationes Math. 16 165–171.
Bialynicki-Birula, A., (1957): Remarks on Quasi-Boolean Algebras,Bull. Acad. Pol. Scient. cl. III, 5 615–619.
Bialynicki-Birula, A. andRasiowa, H., (1957): On the Representation of Quasi-Boolean Algebras,Bull. Acad. Pol. Scient. cl. III, 5 259–261.
Block, W.J. andPigozzi, D., (1982): On the structure of varieties with equationally definable principal congruences,Algebra Universalis 15 195–227.
Burris, S. andSankappanavar, H.P., (1981):A course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78, Springer-Verlag.
Cignoli, R., (1975): Injective De Morgan and Kleene algebras,Prod. Amer. Soc. 47 269–278.
Garcia, P., (1988):Contribució a l'estudi algebràic de models per a una lògica de la vaguetat. Ph. D. Universitat Politècnica de Catalunya. Barcelona. Spain.
Garcia, P. andEsteva, F., (1988): Representation of Symmetric Algebras and its Subvarieties,Proceedings of 18th International Symposium on Multiple-valued Logic, Palma de Mallorca, Spain, 277–284.
Garcia, P. andEsteva, F., (1989): Representation Theorem of Ockham Algebras,Proceedings of 19th International Symposium on Multiple-valued Logic, Guangzhou, China, 14–19.
Grätzer, G., (1968):Universal Algebra, Van Nostrand, Princeton.
Grätzer, G., (1978): General Lattice Theory,Mathematische Reihe, Birkhäuser.
Grätzer, G. andSchmidt, E.T., (1958): Ideals and congruence relations in lattices,Acta. Math. Acad. Science Hungar. 9 137–175.
Kalman, J.A., (1958): Lattices with involution,Trans. Amer. Mat. Soc. 87 485–491.
Köhler, P. andPigozzi, D., (1980): Varieties with equationally definable principal congruences,Algebra Universalis 11 213–219.
Lakser, H., (1973): Principal congruences of pseudocomplemented semilattices,Proceedings of Am. Math. Society Vol.37 32–36.
Moisil, G.C., (1935): Recherches sur l'algèbre de la logique,Annales scientifiques de l'Université de Jassy 22 1–117.
Rasiowa, H., (1974):An Algebraic Approach to Non-Classic Logic, North Holland, Amsterdam.
Sankappanavar, H.P., (1980): A Characterization of Principal Congruences of De Morgan Algebras and its Applications,Math. Logic in Latin America North-Holland, Amsterdam, 341–349.
Sankappanavar, H.P., (1985): Distributive Lattices with a Dual Endomorphism,Zeitschr f. Math. Logik und Grundlagen d. Math. Bd. 31 385–392.
Schweigert, D. andSzymanska, M., (1983): On Distributive Correlation Lattices in Contributions to Lattice Theory,Coloquia Mathematica Societatis János Bolyai 33 697–715.
Urquhart, A., (1979): Distributive Lattices with a Dual Homomorphic Operation,Studia Logica 38, 2 201–209.
Author information
Authors and Affiliations
Additional information
We are deeply grateful to Prof. H. Rasiowa for her great help during the preparation of this paper. We are also greatly indebted to L. Godo and the referees for their valuable suggestions and advices.
Rights and permissions
About this article
Cite this article
Garcia, P., Esteva, F. On Ockham algebras: Congruence lattices and subdirectly irreducible algebras. Stud Logica 55, 319–346 (1995). https://doi.org/10.1007/BF01061240
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01061240