many-valued logic Synonyms

deontic logic