This is a preview. Log in through your library . Abstract We describe a sequent calculus, based on work of Herbelin, of which the cut-free derivations are in 1-1 correspondence with the normal natural ...
Tables of contents for recent issues of Mind are available at http://www3.oup.co.uk/mind/contents . Authorized users may be able to access the full text articles at ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback