Definition:Multi-Value Logic

From ProofWiki
Jump to navigation Jump to search

Definition

Multi-value logic is a branch of logic in which it is admissible for a statements to have a truth value other than just true or false.


Also see

  • Results about multi-value logic can be found here.