Multi valued logic
Redirect to:
Many-valued logic