{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T05:15:52Z","timestamp":1697692552973},"reference-count":11,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2003,9,9]],"date-time":"2003-09-09T00:00:00Z","timestamp":1063065600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2003,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer. (\u00a9 2003 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200310063","type":"journal-article","created":{"date-parts":[[2003,9,11]],"date-time":"2003-09-11T13:20:26Z","timestamp":1063286426000},"page":"579-586","source":"Crossref","is-referenced-by-count":9,"title":["A Brauerian representation of split preorders"],"prefix":"10.1002","volume":"49","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":"311","published-online":{"date-parts":[[2003,9,9]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.2307\/1968843"},{"key":"e_1_2_1_3_2","unstructured":"K.Do\u0161en Identity of proofs based on normalization and generality. Manuscript 2002. (Available at: http:\/\/arXiv.org\/math.LO\/0208094)"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"K.Do\u0161en andZ.Petri\u0107 Coherent bicartesian and sesquicartesian categories. In: Proof Theory in Computer Science (R. Kahle et al. eds.) Lecture Notes in Computer Science 2183 pp. 78\u201392 (Springer\u2010Verlag Berlin et al. 2001). (Available at: http:\/\/arXiv.org\/math.CT\/0006091)","DOI":"10.1007\/3-540-45504-3_6"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020568830946"},{"key":"e_1_2_1_7_2","unstructured":"K.Do\u0161en andZ.Petri\u0107 Generality of proofs and its Brauerian representation. J. Symbolic Logic (to appear). (Available at: http:\/\/arXiv.org\/math.LO\/ 0211090)"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(71)90013-2"},{"key":"e_1_2_1_9_2","unstructured":"J.Lambek andP. J.Scott Introduction to Higher\u2010Order Categorical Logic (Cambridge University Press Cambridge 1986)."},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"S.Mac Lane Categories for the Working Mathematician (Springer\u2010Verlag Berlin\u2010Heidelberg 1971 second edition 1998).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015186718090"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1975-020-1"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200310063","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200310063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T14:05:55Z","timestamp":1697637955000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200310063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9,9]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["10.1002\/malq.200310063"],"URL":"https:\/\/doi.org\/10.1002\/malq.200310063","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9,9]]}}}