Decidable and undecidable prime theories in infinite-valued logic.

Daniele Mundici Giovanni Panti

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

valued logic
datalog programs
query answering
conjunctive queries
first order logic
fixpoint
deductive databases
data complexity
integrity constraints
classical logic
data exchange
propositional logic
multi valued
machine learning
fuzzy logic
data mining
finite state machines
decision theory
data sources
special case