An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.
Nicolas ZabelPublished in: JELIA (1992)
Keyphrases
- inference rules
- truth values
- valued logic
- modal logic
- sequent calculus
- linearly ordered
- natural deduction
- first order logic
- decision procedures
- theorem proving
- cut elimination
- consequence finding
- theorem prover
- expressive power
- temporal logic
- propositional logic
- nonmonotonic logics
- multi valued
- epistemic logic
- computer algebra
- logical framework
- conditional logic
- proof procedure
- real numbers
- algebraic structure
- classical logic
- neural network
- finite number
- logic programs
- high resolution
- conceptual clustering
- fixpoint
- partially ordered
- propositional calculus