Work

Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property

Year: 1979

Type: article

Abstract: Principal congruences of pseudocomplemented semilattices are characterized and shown to be definable. This characterization is then applied to give a new proof of the fact that the variety of pseudocomplemented semilattices has the congruence extension property.

Source: Proceedings of the American Mathematical Society

DOI: 10.1090/s0002-9939-1979-0518510-4

Author: H. P. Sankappanavar

Institution: University of Waterloo

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: University of Waterloo

OpenAlex ID: W1985294698