A Sheffer-Criterion for Partial 4-Valued Logic.

Karsten Schölzel

Published in: J. Multiple Valued Log. Soft Comput. (2012)

Keyphrases

valued logic
classical logic
fuzzy sets
propositional logic
first order logic
fuzzy logic
truth values
automated reasoning
multi valued
machine learning
neural network
computational intelligence
rough sets
logic programs
real time
object oriented