TY - RPRT TI - Implicit definability of truth constants in Łukasiewicz logic AU - Zuzana Haniková PY - 2018 UR - https://arxiv.org/abs/1802.08588 ID - 1802.08588 ER -