Łukasiewicz's three-valued logic

GPTKB entity