This is a preview. Log in through your library . Abstract By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback