On the equivalence of proofs involving identity

From MaRDI portal

Publication:1107527

Jump to:navigation, search

DOI10.1305/ndjfl/1093637554zbMath0653.03037OpenAlexW2084576343MaRDI QIDQ1107527

Glen Helman

Publication date: 1987

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637554

zbMATH Keywords

normalization natural deduction proofs first-order logic with identity applications of category-theory to proofs proof-equivalence

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Equality of proofs for linear equality

This page was built for publication: On the equivalence of proofs involving identity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1107527&oldid=13145545"