Approximating Propositional Calculi by Finite-Valued Logics.
Matthias BaazRichard ZachPublished in: ISMVL (1994)
Keyphrases
- valued logic
- propositional logic
- first order logic
- multi valued
- classical logic
- belief revision
- default logic
- fuzzy logic
- expressive power
- theorem proving
- knowledge representation
- truth values
- incomplete information
- general purpose
- high level
- theorem prover
- horn clauses
- belief change
- programming language
- database systems