Open AccessCut Elimination for a Simple Formulation of PAε
Author(s) -
Grigori Mint︠s︡
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2005.07.013
Subject(s) - simple (philosophy) , extension (predicate logic) , substitution (logic) , mathematics , calculus (dental) , computer science , algebra over a field , algorithm , pure mathematics , programming language , philosophy , epistemology , medicine , dentistry
The goal is to simplify epsilon substitution method to make possible its extension to much stronger systems than ones treated up to now
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom