The density of truth in monadic fragments of some intermediate logics.
Zofia KostrzyckaPublished in: J. Log. Lang. Inf. (2007)
Keyphrases
- valued logic
- truth values
- classical logic
- propositional logic
- fuzzy sets
- fuzzy logic
- first order logic
- expressive power
- datalog programs
- multi valued
- datalog queries
- low density
- modal logic
- logic programs
- deductive databases
- inference rules
- neural network
- automated reasoning
- density function
- real time
- nonmonotonic logics
- logic programming
- probabilistic model
- knowledge base