Classic-Like Analytic Tableaux for Finite-Valued Logics.

Carlos Caleiro João Marcos

Published in: WoLLIC (2009)

Keyphrases

valued logic
classical logic
modal logic
propositional logic
automated reasoning
fuzzy logic
first order logic
fuzzy sets
multi valued
datalog programs
truth values
logic programs
decision procedures
general purpose
expressive power
functional dependencies
image sequences
pattern recognition