Canonical extensions for congruential logics with the deduction theorem.
Mai GehrkeRamon JansanaAlessandra PalmigianoPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- intuitionistic logic
- classical logic
- inference rules
- linear logic
- default logic
- anti unification
- modal logic
- proof theoretic
- natural deduction
- default theories
- efficient implementation
- random numbers
- canonical form
- propositional calculus
- information systems
- theorem proving
- expressive power
- higher order
- expert systems