Highly Influential

This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The… (More)

@article{Dosen2008EqualityOP,
title={Equality of proofs for linear equality},
author={Kosta Dosen and Zoran Petric},
journal={Arch. Math. Log.},
year={2008},
volume={47},
pages={549-565}
}