38 pages matching elimination rule in this book
Results 1-3 of 38
What people are saying - Write a review
We haven't found any reviews in the usual places.
Finite Investigations of Transfinite Derivations
Normalization of Finite Terms and Derivations via Infinite Ones
11 other sections not shown
algebra analog ancestors antecedent members application arithmetic assigned assume axioms Barcan formula cartesian closed categories category theory classical clause coherence theorem Comp computed conclusion condition connectives considered construction contains corresponding cut formula cut-elimination cut-free cuts of degree deduction theorem defined definition deleting denote disjunction elimination rule empty equality equivalence explicit figure finite type free variables Gentzen given derivation Heyting arithmetic implies induction hypothesis inference infinitary infinite introduced intuitionistic inversion Kripke left premise Lemma length method modal formula modal logics modal systems modus ponens morphisms natural deduction node normal form normalization theorem notation obtained occurrences Ok(d operator ordinal postulates predicate calculus primitive recursive primitive recursive arithmetic primitive recursive functional proof theory proof-figure propositional propositional calculus quantifier recursive functions relation replaced result satisfied semantics sequent side formulas subformula substitution subterms succedent tableaux term of type tion transformed translation