A Compressing Translation from Propositional Resolution to Natural Deduction.
Hasan AmjadPublished in: FroCoS (2007)
Keyphrases
- natural deduction
- theorem prover
- first order logic
- inference rules
- theorem proving
- propositional logic
- pronominal anaphora
- high resolution
- data compression
- sequent calculus
- intuitionistic logic
- cut elimination
- logical theories
- clause learning
- linear time temporal logic
- cross language information retrieval
- query translation
- multi valued
- machine translation
- automated reasoning
- proof procedure
- relational databases