finite-valued Łukasiewicz logic

GPTKB entity