{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T14:41:48Z","timestamp":1709131308810},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T00:00:00Z","timestamp":1216684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s00153-008-0096-0","type":"journal-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T10:41:35Z","timestamp":1216636895000},"page":"549-565","source":"Crossref","is-referenced-by-count":2,"title":["Equality of proofs for linear equality"],"prefix":"10.1007","volume":"47","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Petri\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,22]]},"reference":[{"key":"96_CR1","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K.: Equality in substructural logics, in [13], pp. 71\u201385","DOI":"10.1093\/oso\/9780198538622.003.0004"},{"key":"96_CR2","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K.: Substructural predicates, in [13], pp. 87\u2013101","DOI":"10.1093\/oso\/9780198538622.003.0005"},{"key":"96_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1207-1","volume-title":"Cut Elimination in Categories","author":"K. Do\u0161en","year":"1999","unstructured":"Do\u0161en K.: Cut Elimination in Categories. Kluwer, Dordrecht (1999)"},{"key":"96_CR4","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K.: Simplicial Endomorphisms, Communications in Algebra, vol. 36, pp. 2681\u20132709 (2008). Available at http:\/\/arXiv.org\/math.GT\/0301302","DOI":"10.1080\/00927870802068110"},{"key":"96_CR5","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Bicartesian Coherence, Studia Logica, vol. 71, pp. 331\u2013353 (2002). Version with some corrections in the proof of maximality available at http:\/\/arXiv.org\/math.CT\/0006052"},{"key":"96_CR6","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Generality of proofs and its Brauerian representation. J. Symb. Log. 68, 740\u2013750 (2003). Available at http:\/\/arXiv.org\/math.LO\/0211090","DOI":"10.2178\/jsl\/1058448435"},{"key":"96_CR7","unstructured":"Do\u0161en, K., Petri\u0107, Z.: A Brauerian representation of split preorders. Math. Log. Q. 49, 579\u2013586 (2003). Misprints corrected in text available at http:\/\/arXiv.org\/math.LO\/0211277"},{"key":"96_CR8","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Theoretical Coherence. KCL Publications (College Publications), London (2004). Revised version available at http:\/\/www.mi.sanu.ac.yu\/~kosta\/coh.pdf"},{"key":"96_CR9","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Net Categories. Polimetrica, Monza (2007). Preprint available at http:\/\/www.mi.sanu.ac.yu\/~kosta\/pn.pdf"},{"key":"96_CR10","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Coherence and confluence. In: B\u00e9ziau, J.-Y., Costa-Leite, A. (eds.) Perspectives on Universal Logic, pp. 205\u2013215. Polimetrica, Monza (2007). Available at http:\/\/arXiv.org\/math.CT\/0506310"},{"key":"96_CR11","volume-title":"Categorical Logic and Type Theory","author":"B. Jacobs","year":"1999","unstructured":"Jacobs B.: Categorical Logic and Type Theory. Elsevier, Amsterdam (1999)"},{"key":"96_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1305\/ndjfl\/1093637554","volume":"28","author":"G. Helman","year":"1987","unstructured":"Helman G.: On the equivalence of proofs involving identity. Notre Dame J. Form. Log. 28, 297\u2013321 (1987)","journal-title":"Notre Dame J. Form. Log."},{"key":"96_CR13","volume-title":"Logic, from Foundations to Applications: European Logic Colloquium","year":"1996","unstructured":"Hodges W. et al.: (eds). Logic, from Foundations to Applications: European Logic Colloquium. Oxford University Press, Oxford (1996)"},{"key":"96_CR14","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Equality in hyperdoctrines and comprehension schema as an adjoint functor. In: Heller, A. (ed.) Applications of Categorical Algebra, pp. 1\u201314. American Mathematical Society, Providence (1970)","DOI":"10.1090\/pspum\/017\/0257175"},{"key":"96_CR15","unstructured":"Mac Lane, S.: Natural associativity and commutativity. Rice University Studies, Papers in Mathematics, vol. 49, pp. 28\u201346 (1963)"},{"key":"96_CR16","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1971) (expanded 2nd edn, 1998)","DOI":"10.1007\/978-1-4612-9839-7"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0096-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0096-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0096-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T13:58:23Z","timestamp":1709128703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0096-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,22]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["96"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0096-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,22]]}}}