Skip to main content

Questions tagged [fuzzy]

Questions about fuzzy logic.

Filter by
Sorted by
Tagged with
14 votes
1 answer

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