Łukasiewicz logic

GPTKB entity