Elimination of Cuts in First-order Finite-valued Logics.
Matthias BaazChristian G. FermüllerRichard ZachPublished in: J. Inf. Process. Cybern. (1993)
Keyphrases
- valued logic
- first order logic
- propositional logic
- classical logic
- fuzzy logic
- fuzzy sets
- truth values
- logic programs
- multi valued
- automated reasoning
- datalog programs
- neural network
- expressive power
- pattern recognition
- inference rules
- modal logic
- rough sets
- control system
- logic programming
- stable models
- computational intelligence
- software engineering
- knowledge representation