{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T22:27:25Z","timestamp":1783549645831,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540571827","type":"print"},{"value":"9783540479277","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:26Z","timestamp":1330258346000},"page":"142-155","source":"Crossref","is-referenced-by-count":11,"title":["The second calculus of binary relations"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"M. Barr. *-Autonomous categories, LNM 752. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0064579"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.","DOI":"10.1017\/S0960129500001274"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"C. Brown and D. Gurr. A categorical linear framework for Petri nets. In J. Mitchell, editor, Logic in Computer Science, pages 208\u2013218. IEEE Computer Society, June 1990.","DOI":"10.1109\/LICS.1990.113747"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823\u2013843, 1936.","journal-title":"Annals of Mathematics"},{"issue":"2","key":"9_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1017\/S0960129500001286","volume":"1","author":"R. T. Casley","year":"1991","unstructured":"R.T Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. Math. Structures in Comp. Sci., 1(2):179\u2013213, July 1991.","journal-title":"Math. Structures in Comp. Sci."},{"key":"9_CR6","first-page":"331","volume":"10","author":"A. Morgan De","year":"1860","unstructured":"A. De Morgan. On the syllogism, no. IV, and on the logic of relations. Trans. Cambridge Phil. Soc., 10:331\u2013358, 1860.","journal-title":"Trans. Cambridge Phil. Soc."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, volume III","author":"J. M. Dunn","year":"1986","unstructured":"J.M. Dunn. Relevant logic and entailment. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume III, pages 117\u2013224. Reidel, Dordrecht, 1986."},{"issue":"3","key":"9_CR8","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0022-4049(72)90001-1","volume":"2","author":"P. Freyd","year":"1972","unstructured":"P. Freyd and G. M. Kelly. Categories of continuous functors I. Journal of Pure and Applied Algebra, 2(3):169\u2013191, 1972.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0021-8693(69)90054-4","volume":"11","author":"Z. Hedrl\u00edn","year":"1969","unstructured":"Z. Hedrl\u00edn and J. Lambek. How comprehensive is the category of semigroups. J. Algebra, 11:195\u2013212, 1969.","journal-title":"J. Algebra"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0012-365X(88)90078-7","volume":"70","author":"B. J\u00f3nsson","year":"1988","unstructured":"B. J\u00f3nsson. Relation algebras and Schr\u00f6der categories. Discrete Mathematics, 70:27\u201345, 1988.","journal-title":"Discrete Mathematics"},{"key":"9_CR12","first-page":"80","volume":"54","author":"B. J\u00f3nsson","year":"1948","unstructured":"B. J\u00f3nsson and A. Tarski. Representation problems for relation algebras. Bull. Amer. Math. Soc., 54:80,1192, 1948.","journal-title":"Bull. Amer. Math. Soc."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"B. J\u00f3nsson and A. Tarski. Boolean algebras with operators. Part II. Amer. J. Math., 74:127\u2013162, 1952.","journal-title":"Amer. J. Math."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Y. Lafont and T. Streicher. Games semantics for linear logic. In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43\u201349, Amsterdam, July 1991.","DOI":"10.1109\/LICS.1991.151629"},{"key":"9_CR15","first-page":"99","volume":"supplement no.","author":"C. J. Mulvey","year":"1986","unstructured":"C.J. Mulvey. &. In Second Topology Conference, Rendiconti del Circolo Matematico di Palermo, ser.2, supplement no. 12, pages 99\u2013104, 1986.","journal-title":"Rendiconti del Circolo Matematico di Palermo, ser.2"},{"key":"9_CR16","unstructured":"C.S. Peirce. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic. In Collected Papers of Charles Sanders Peirce. III. Exact Logic. Harvard University Press, 1933."},{"issue":"1","key":"9_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1986","unstructured":"V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33\u201371, February 1986.","journal-title":"Int. J. of Parallel Programming"},{"key":"9_CR18","first-page":"237","volume-title":"LNCS 630","author":"V. R. Pratt","year":"1992","unstructured":"V.R. Pratt. The duality of time and information. In Proc. of CONCUR'92, LNCS 630, pages 237\u2013253, Stonybrook, New York, August 1992. Springer-Verlag."},{"key":"9_CR19","first-page":"1","volume-title":"AMAST'91: Algebraic Methodology and Software Technology","author":"V. R. Pratt","year":"1992","unstructured":"V.R. Pratt. Event spaces and their linear logic. In AMAST'91: Algebraic Methodology and Software Technology, Workshops in Computing, pages 1\u201323, Iowa City, 1992. Springer-Verlag."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Origins of the calculus of binary relations. In Proc. 7th Annual IEEE Symp. on Logic in Computer Science, pages 248\u2013254, Santa Cruz, CA, June 1992.","DOI":"10.1109\/LICS.1992.185537"},{"key":"9_CR21","volume-title":"Linear logic for generalized quantum mechanics","author":"V. R. Pratt","year":"1993","unstructured":"V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, 1993. IEEE."},{"key":"9_CR22","unstructured":"A. Pultr and V. Trnkov\u00e1. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980."},{"key":"9_CR23","volume-title":"Vorlesungen \u00fcber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative","author":"E. Schr\u00f6der","year":"1895","unstructured":"E. Schr\u00f6der. Vorlesungen \u00fcber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"R.A.G Seely. Linear logic, *-autonomous categories and cofree algebras. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 371\u2013382, held June 1987, Boulder, Colorado, 1989.","DOI":"10.1090\/conm\/092\/1003210"},{"key":"9_CR25","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"A. Tarski. On the calculus of relations. J. Symbolic Logic, 6:73\u201389, 1941.","journal-title":"J. Symbolic Logic"},{"key":"9_CR26","first-page":"143","volume":"7","author":"V. Trnkov\u00e1","year":"1966","unstructured":"V. Trnkov\u00e1. Universal categories. Comment. Math. Univ.Carolinae, 7:143\u2013206, 1966.","journal-title":"Comment. Math. Univ.Carolinae"},{"key":"9_CR27","unstructured":"S. Vickers. Topology via Logic. Cambridge University Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:50Z","timestamp":1605647330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}