Finite-valued reductions of infinite-valued logics.

Stefano Aguzzoli Brunella Gerla

Published in: Arch. Math. Log. (2002)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
multi valued
truth values
automated reasoning
logic programs
finite sets
logic programming
stable models
real time
datalog programs