Algebraic Aspects of Relatively Pseudocomplemented Posets

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

CHAJDA Ivan LANGER Helmut PASEKA Jan

Year of publication 2020
Type Article in Periodical
Magazine / Source Order-A Journal on the Theory of Ordered Sets and its Applications
MU Faculty or unit

Faculty of Science

Citation
Web https://doi.org/10.1007/s11083-019-09488-1
Doi http://dx.doi.org/10.1007/s11083-019-09488-1
Keywords Relative pseudocomplementation; Poset; Hilbert algebra; Congruence; Convex poset; Dedekind-MacNeille completion; Glivenko equivalence; Category
Description In Chajda and Langer (Math. Bohem. 143, 89-97, 2018) the concept of relative pseudocomplementation was extended to posets. We introduce the concept of a congruence in a relatively pseudocomplemented poset within the framework of Hilbert algebras and we study under which conditions the quotient structure is a relatively pseudocomplemented poset again. This problem is solved e.g. for finite or linearly ordered posets. We characterize relative pseudocomplementation by means of so-called L-identities. We investigate the category of bounded relatively pseudocomplemented posets. Finally, we derive certain quadruples which characterize bounded Hilbert algebras and bounded relatively pseudocomplemented posets up to isomorphism using Glivenko equivalence and implicative semilattice envelope of Hilbert algebras.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.