Polynomial Ring Calculus for Many-Valued Logics.
Walter Alexandre CarnielliPublished in: ISMVL (2005)
Keyphrases
- modal logic
- algebraic structure
- sequent calculus
- truth values
- inference rules
- expressive power
- temporal logic
- decision procedures
- cut elimination
- classical logic
- conditional logic
- nonmonotonic logics
- low order
- formal language
- natural deduction
- conceptual clustering
- default logic
- proof theoretic
- database
- computational properties
- epistemic logic
- proof theory
- computer algebra
- situation calculus
- tableau calculus