First-order Gödel logics.
Matthias BaazNorbert PreiningRichard ZachPublished in: Ann. Pure Appl. Log. (2007)
Keyphrases
- valued logic
- conditional logic
- first order logic
- classical logic
- propositional logic
- fuzzy logic
- expressive power
- fuzzy sets
- modal logic
- higher order
- logic programs
- truth values
- multi valued
- belief revision
- inference rules
- default reasoning
- automated reasoning
- classical first order logic
- logic programming
- epistemic logic
- learning algorithm
- propositional calculus
- horn clauses
- knowledge representation
- database