The Minimal Covering of Maximal Partial Clones in 4-valued Logic.

Karsten Schölzel

Published in: ISMVL (2009)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
logic programs
automated reasoning
neural network
pattern recognition
relational databases
data model
logic programming
temporal logic
multi valued
truth values