Skip to main content

Questions tagged [many-valued]

Questions about or related to many-valued logic.

Filter by
Sorted by
Tagged with
14 votes
1 answer
115 views

Are there proof assistants for multi-valued logics?

There are several three-valued logics (like those used in OCL or VDM), four-valued logics (e.g. used for paraconsistency) and real-valued logics (e.g. fuzzy logics with Gödel's or Łukasiewicz's ...
tillmo's user avatar
  • 241