Tableaux for Lukasiewicz Infinite-valued Logic.

Nicola Olivetti

Published in: Stud Logica (2003)

Keyphrases

valued logic
modal logic
classical logic
truth values
inference rules
temporal logic
multi valued
propositional logic
fuzzy sets
default logic
automated reasoning
fuzzy logic
data mining
artificial intelligence
computational intelligence
vector field
normal form