Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.
Matthias BaazNorbert PreiningRichard ZachPublished in: ISMVL (2006)
Keyphrases
- conditional logic
- first order logic
- expressive power
- term rewriting
- inference rules
- classical first order logic
- relational calculus
- valued logic
- higher order
- modal logic
- finitely representable
- computational properties
- tableau calculus
- default reasoning
- proof procedure
- classical logic
- real numbers
- proof theoretic
- logic programming
- theorem proving
- nonmonotonic logics
- decision diagrams
- stochastic dominance
- relational databases
- description logics
- propositional dynamic logic
- data quality
- computer algebra
- natural deduction
- inductive logic programming
- formal language
- theorem prover