Note on Deduction Theorems in Contraction-Free Logics.
Karel ChvalovskýPetr CintulaPublished in: LPAR short papers(Yogyakarta) (2010)
Keyphrases
- inference rules
- intuitionistic logic
- horn logic
- anti unification
- sequent calculus
- proof search
- expressive power
- modal logic
- theorem proving
- classical logic
- higher order
- theorem prover
- belief change
- belief revision
- first order logic
- real time
- conditional logic
- fuzzy logic
- ordered sets
- neural network
- propositional calculus
- data sets