Equality of proofs for linear equality

Abstract

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)
DOI: 10.1007/s00153-008-0096-0

Topics

Cite this paper

@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} }