A complete system of four-valued logic.

Pieter Hendrik Rodenburg

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

Keyphrases

valued logic
classical logic
fuzzy logic
decision making
pattern recognition
real time
databases
high level
artificial neural networks
first order logic
propositional logic
probabilistic reasoning
multi valued