On the equivalence of proofs involving identity.
Glen Helman · Notre Dame Journal of Formal Logic · 1987
On considere les relations d'equivalence definies sur les demonstrations de deduction naturelle pour une logique du premier ordre avec identite. On s'interesse aux principes d'equivalence des demonstrations pour differents choix des regles d'identite