multivalued logic

1. REDIRECT Many-valued logic

{{R from modification}}