TY - RPRT TI - Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics AU - Libor Behounek AU - Martina Dankova AU - Antonin Dvorak PY - 2023 UR - https://arxiv.org/abs/2306.13079 ID - 2306.13079 ER -