On the Rules of Proof in the Pure Functional Calculus of the First Order.
Andrzej MostowskiPublished in: J. Symb. Log. (1951)
Keyphrases
- cut elimination
- logical rules
- sequent calculus
- theorem prover
- first order logic
- natural deduction
- automated theorem proving
- linear logic
- proof procedure
- term rewriting
- propositional logic
- computer algebra
- provably correct
- proof theoretic
- proof search
- theorem proving
- rule sets
- classification rules
- higher order
- horn clauses
- linear temporal logic
- decision rules
- proof planning
- functional language
- real numbers
- proof theory
- production rules
- argumentation schemes
- association rules