Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.
Matthias BaazNorbert PreiningRichard ZachPublished in: ISMVL (2003)
Keyphrases
- valued logic
- first order logic
- conditional logic
- propositional logic
- classical logic
- normal form
- mazurkiewicz traces
- expressive power
- fuzzy logic
- modal logic
- classical first order logic
- higher order
- fuzzy sets
- inference rules
- temporal logic
- truth values
- default reasoning
- logic programs
- multi valued
- belief revision
- logical formulas
- functional dependencies
- stochastic dominance