Labeled Calculi and Finite-Valued Logics.

Matthias Baaz Christian G. Fermüller Gernot Salzer Richard Zach

Published in: Stud Logica (1998)

Keyphrases

valued logic
propositional logic
classical logic
fuzzy logic
fuzzy sets
first order logic
multi valued
datalog programs
truth values
automated reasoning
neural network
rough sets
artificial intelligence
databases
modal logic
genetic algorithm
machine learning