Now showing items 1-1 of 1
Graphical representation of canonical proof: two case studies
(The University of Edinburgh, 2012-06-25)
An interesting problem in proof theory is to find representations of proof that do not distinguish between proofs that are ‘morally’ the same. For many logics, the presentation of proofs in a traditional formalism, such ...