three-valued Łukasiewicz logic

GPTKB entity

Statements (20)