PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad (2007)
June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of...
PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad (2007)
June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of...