Login / Signup
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