Deduction theorems in significance logics.
Martin W. BunderPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- inference rules
- sequent calculus
- anti unification
- intuitionistic logic
- proof search
- modal logic
- theorem proving
- cut elimination
- expressive power
- higher order
- theorem prover
- epistemic logic
- first order logic
- logical framework
- automated deduction
- proof procedures
- decision procedures
- genetic algorithm
- natural deduction
- neural network
- propositional calculus
- data sets
- conditional logic
- nonmonotonic logics
- classical logic
- statistical significance
- multiscale
- social networks