Cut elimination for a simple formulation of epsilon calculus

13 years 11 months ago

Download www.stanford.edu

A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems.

Grigori Mints

Real-time Traffic

APAL 2008 | Cut Elimination Proof | Epsilon Symbol | Modified Epsilon Substitution |

claim paper

» Atomic Cut Elimination for classical Logic

» Noncommutativity and MELL in the Calculus of Structures

» ForcingBased CutElimination for GentzenStyle Intuitionistic Sequent Calculus

» CutElimination and Proof Search for BiIntuitionistic Tense Logic

» Cut elimination and strong separation for substructural logics An algebraic approach

» Strong Normalisation for a Gentzenlike CutElimination Procedure

» Proof Normalization Modulo

» Denotations for Classical Proofs Preliminary Results

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Grigori Mints

Comments (0)

Sciweavers

Cut elimination for a simple formulation of epsilon calculus

APAL 2008 | Cut Elimination Proof | Epsilon Symbol | Modified Epsilon Substitution |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers