×

Principal congruence on Tarski algebra and modal algebra. (Chinese. English summary) Zbl 1474.03165

Summary: The principal congruences of Tarski algebras and modal algebras are studied. Combined with the result of principal congruence of Boolean algebra, the characterization of principal congruence of Tarski algebra and modal algebra is given.

MSC:

03G25 Other algebras related to logic
03B45 Modal logic (including the logic of norms)
06B10 Lattice ideals, congruence relations
06E75 Generalizations of Boolean algebras
PDFBibTeX XMLCite