Compactness in first-order Gödel logics.
Massoud PourmahdianNazanin TavanaPublished in: J. Log. Comput. (2013)
Keyphrases
- valued logic
- conditional logic
- classical logic
- first order logic
- propositional logic
- fuzzy sets
- fuzzy logic
- expressive power
- logic programs
- classical first order logic
- higher order
- truth values
- inference rules
- multi valued
- modal logic
- logic programming
- belief revision
- nonmonotonic reasoning
- social bookmarking
- quantifier elimination
- theorem prover
- computational properties
- epistemic logic
- knowledge representation