22 citations · 23 across the 4 of their papers we have counts for
4 papers
Simple multiplicative proof nets with units
Dominic Hughes
This paper presents a simple notion of proof net for multiplicative linear logic with units. Cut elimination is direct and strongly normalising, in contrast to previous approaches…
Logic Without Syntax
Dominic Hughes
This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract, syntax…
Classical Logic = Fibred MLL
Dominic Hughes
This paper represents classical propositional proofs as *combinatorial proofs*, which are more abstract than proof nets: superposition (contraction/weakening) is modelled mathemati…
Proofs Without Syntax
Dominic Hughes
"[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868. Proofs are traditionally syntactic, inductively generated objects. This paper pr…