A complete system of four-valued logic.

Pieter Hendrik Rodenburg

Published in: J. Appl. Non Class. Logics (2001)

Keyphrases

valued logic
classical logic
automated reasoning
fuzzy logic
propositional logic
database
real time
fuzzy sets