-valued Logic.

Stephen Pollard

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
multi valued
logic programs
truth values
datalog programs
logic programming
automated reasoning
real time
neural network
control system
stable models
databases