A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics.

Gemma Robles José M. Méndez

Published in: Log. J. IGPL (2014)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
truth values
fuzzy sets
first order logic
multi valued
logic programs
datalog programs
stable models
logic programming
automated reasoning
machine learning
real time
expressive power
knowledge representation
pattern recognition
neural network