Authors: | Došen, Kosta Petrić, Zoran |
Title: | Equality of proofs for linear equality |
Journal: | Archive for Mathematical Logic |
Volume: | 47 |
Issue: | 6 |
First page: | 549 |
Last page: | 565 |
Issue Date: | 1-Sep-2008 |
ISSN: | 0933-5846 |
DOI: | 10.1007/s00153-008-0096-0 |
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 guiding idea is that equality of proofs is ind... |
Keywords: | Adjunction | Categorial coherence | Congruence relation | Equality | Equality of proofs | Equivalence relation | Generality of proofs | Linear logic | Monoidal categories | Preordering relation |
Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.