TY - RPRT TI - Congruences on posets, relatively pseudocomplemented and Boolean posets AU - Ivan Chajda AU - Helmut Länger PY - 2025 UR - https://arxiv.org/abs/2503.17433 ID - 2503.17433 ER -