TY - RPRT TI - Equational definitions of logical filters AU - Michele Pra Baldi AU - Adam Přenosil PY - 2024 UR - https://arxiv.org/abs/2401.11276 ID - 2401.11276 ER -