Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.
Franco MontagnaCarles NogueraPublished in: J. Log. Comput. (2010)
Keyphrases
- valued logic
- first order logic
- conditional logic
- expressive power
- logic rules
- fuzzy sets
- formal semantics
- fuzzy logic
- propositional logic
- logic programming
- proof theory
- classical logic
- default reasoning
- higher order logic
- higher order
- epistemic logic
- model theoretic
- proof theoretic
- sound and complete with respect
- nonmonotonic logics
- classical first order logic
- computational complexity
- datalog programs
- inference rules
- modal logic
- horn clauses
- computational properties
- worst case
- propositional dynamic logic
- fuzzy numbers
- belief revision
- reasoning tasks
- fuzzy description logics
- logical formulas
- real numbers
- decision procedures
- nonmonotonic reasoning
- fuzzy clustering
- predicate calculus
- deductive databases
- decision problems
- membership functions
- description logics