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

SCOPUSTM   
Citations

2
checked on Apr 2, 2025

Page view(s)

22
checked on Jan 31, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.