infinite-valued Łukasiewicz logic

GPTKB entity