Learn More

- John Newsome Crossley, Gerald L. Mathai, Robert A. G. Seely
- Meth. of Logic in CS
- 1994

A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is… (More)

- ‹
- 1
- ›