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 ...
THE Boolian reform of logical science is at las beginning to manifest itself and to bear the first-fruits of controversy. Thirty years ago Boole's remarkable memoirs were treated as striking but ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback