{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:15:22Z","timestamp":1770833722507,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T00:00:00Z","timestamp":1365120000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10992-013-9276-4","type":"journal-article","created":{"date-parts":[[2013,4,4]],"date-time":"2013-04-04T05:07:25Z","timestamp":1365052045000},"page":"551-574","source":"Crossref","is-referenced-by-count":14,"title":["Coalgebras, Chu Spaces, and Representations of Physical Systems"],"prefix":"10.1007","volume":"42","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,5]]},"reference":[{"issue":"3","key":"9276_CR1","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1007\/s11229-011-9912-x","volume":"186","author":"S Abramsky","year":"2012","unstructured":"Abramsky, S. (2012). Big toy models: representing physical systems as Chu spaces.\u00a0Synthese,\u00a0186(3), 697\u2013718.","journal-title":"Synthese"},{"key":"9276_CR2","first-page":"1","volume-title":"Handbook of logic in computer science","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., & Jung, A. (1994). Domain theory. In S. Abramsky, D. Gabbay, T.S.E. Maibaum (Eds.),\u00a0Handbook of logic in computer science (pp. 1\u2013168). Oxford: Oxford University Press."},{"key":"9276_CR3","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Gay, S.J., Nagarajan, R. (1996). Interaction categories and the foundations of typed concurrent programming. In M. Broy (Ed.),\u00a0NATO ASI DPD (pp. 35\u2013113).","DOI":"10.1007\/978-3-642-61455-2_10"},{"key":"9276_CR4","doi-asserted-by":"crossref","unstructured":"Barr, M. (1979).\u00a0*-Autonomous categories. Lecture notes in mathematics (Vol. 752). Springer.","DOI":"10.1007\/BFb0064579"},{"issue":"6","key":"9276_CR5","first-page":"137","volume":"4","author":"M Barr","year":"1998","unstructured":"Barr, M. (1998). The separated extensional Chu category.\u00a0Theory and Applications of Categories,\u00a04(6), 137\u2013147.","journal-title":"Theory and Applications of Categories"},{"key":"9276_CR6","doi-asserted-by":"crossref","unstructured":"Barwise, J., & Seligman, J. (1997).\u00a0Information flow: the logic of distributed systems. Cambridge University Press.","DOI":"10.1017\/CBO9780511895968"},{"key":"9276_CR7","volume-title":"Hilbert space operators in quantum mechanics","author":"J Blank","year":"2008","unstructured":"Blank, J., Exner, P., Havlicek, M. (2008).\u00a0Hilbert space operators in quantum mechanics (2nd ed.). New York: Springer.","edition":"2"},{"key":"9276_CR8","unstructured":"Calin, G., Myers, R., Pattinson, D., Schr\u00f6der, L. (2007).\u00a0Coloss: the coalgebraic logic satisfiability solver. Department of Computing, Imperial College. Technical report. Download and documentation."},{"key":"9276_CR9","unstructured":"Chu, P.-H. (1979).\u00a0Constructing *-autonomous categories. Lecture notes in mathematics [4] (Vol. 752, pp. 103\u2013137)."},{"key":"9276_CR10","volume-title":"The principles of quantum mechanics","author":"PAM Dirac","year":"1947","unstructured":"Dirac, P.A.M. (1947).\u00a0The principles of quantum mechanics (3rd ed.). Oxford: Oxford University Press.","edition":"3"},{"key":"9276_CR11","doi-asserted-by":"crossref","unstructured":"Droste, M., & Zhang, G.-Q. Bifinite Chu spaces. In Mossakowski et al. [22] (pp. 179\u2013193).","DOI":"10.1007\/978-3-540-73859-6_13"},{"key":"9276_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9590-2","volume-title":"Modern projective geometry","author":"C-A Faure","year":"2000","unstructured":"Faure, C.-A., & Fr\u00f6licher, A. (2000).\u00a0Modern projective geometry. Dordrecht: Kluwer Academic Publishers."},{"key":"9276_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic.\u00a0Theoretical Computer Science (TCS),\u00a050, 1\u2013102.","journal-title":"Theoretical Computer Science (TCS)"},{"issue":"5\u20136","key":"9276_CR14","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/s10485-007-9111-6","volume":"15","author":"E Giuli","year":"2007","unstructured":"Giuli, E., & Tholen, W. (2007). A topologist\u2019s view of Chu spaces.\u00a0Applied Categorical Structures,\u00a015(5\u20136), 573\u2013598.","journal-title":"Applied Categorical Structures"},{"key":"9276_CR15","first-page":"145","volume-title":"Rev\u00eatement Etales et Groupe Fondamental (SGA1). Lecture notes in mathematics (Vol. 224)","author":"A Grothendieck","year":"1970","unstructured":"Grothendieck, A. (1970). Cat\u00e9gories fibr\u00e9es et descente (expos\u00e9 VI). In A. Grothendieck (Ed.),\u00a0Rev\u00eatement Etales et Groupe Fondamental (SGA1). Lecture notes in mathematics (Vol. 224, pp. 145\u2013194). New York: Springer."},{"key":"9276_CR16","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s00012-005-1888-2","volume":"53","author":"HP Gumm","year":"2005","unstructured":"Gumm, H.P., & Schr\u00f6der, T. (2005). Types and coalgebraic structure.\u00a0Algebra Universalis,\u00a053, 229\u2013252.","journal-title":"Algebra Universalis"},{"key":"9276_CR17","unstructured":"Gunter, C.A., & Scott, D.S. (1990). Semantic domains.\u00a0In Handbook of theoretical computer science, volume B: formal models and sematics (B) (pp. 633\u2013674). Elsevier."},{"key":"9276_CR18","doi-asserted-by":"crossref","unstructured":"Hansen, H.H., Kupke, C., Pacuit, E. (2007). Bisimulation for neighbourhood structures.\u00a0In Proceedings of the 2nd conference on algebra and coalgebra in computer science (CALCO 2007), Bergen, Norway. Springer LNCS (Vol. 4624, pp. 279\u2013293). Springer.","DOI":"10.1007\/978-3-540-73859-6_19"},{"key":"9276_CR19","volume-title":"Category theory: an introduction","author":"H Herrlich","year":"1973","unstructured":"Herrlich, H., & Strecker, G. (1973).\u00a0Category theory: an introduction. Boston: Allyn and Bacon."},{"key":"9276_CR20","first-page":"145","volume-title":"CDES","author":"L Ivanov","year":"2008","unstructured":"Ivanov, L. (2008). Modeling non-iterated system behavior with Chu spaces. In H.R. Arabnia (Ed.),\u00a0CDES (pp. 145\u2013150). Iona: CSREA Press."},{"key":"9276_CR21","doi-asserted-by":"crossref","unstructured":"Lafont, Y., & Streicher, T. (1991). Games semantics for linear logic.\u00a0In LICS (pp. 43\u201350). IEEE Computer Society.","DOI":"10.1109\/LICS.1991.151629"},{"key":"9276_CR22","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Montanari, U., Haveraaen, M. (Eds.) (2007).\u00a0Algebra and coalgebra in computer science, second international conference, CALCO 2007, Bergen, Norway, August 20\u201324, 2007, proceedings. Lecture notes in computer science (Vol. 4624). Springer.","DOI":"10.1007\/978-3-540-73859-6"},{"issue":"3","key":"9276_CR23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.20965\/jaciii.2001.p0149","volume":"5","author":"N Nguyen","year":"2001","unstructured":"Nguyen, N., Nguyen, H.T., Berlin, W., Kreinovich, V. (2001). Chu spaces: towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the world wide web.\u00a0JACIII,\u00a05(3), 149\u2013156.","journal-title":"JACIII"},{"key":"9276_CR24","doi-asserted-by":"crossref","unstructured":"Palmigiano, A., & Venema, Y. Nabla algebras and Chu spaces. In Mossakowski et al. [22] (pp. 394\u2013408).","DOI":"10.1007\/978-3-540-73859-6_27"},{"issue":"4","key":"9276_CR25","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1142\/S0218488500000319","volume":"8","author":"BK Papadopoulos","year":"2000","unstructured":"Papadopoulos, B.K., & Syropoulos, A. (2000). Fuzzy sets and fuzzy relational structures as Chu spaces.\u00a0International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems,\u00a08(4), 471\u2013479.","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"issue":"1","key":"9276_CR26","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129596002046","volume":"7","author":"D Pavlovic","year":"1997","unstructured":"Pavlovic, D. (1997). Chu I: cofree equivalences, dualities and *-autonomous categories.\u00a0Mathematical Structures in Computer Science,\u00a07(1), 49\u201373.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9276_CR27","doi-asserted-by":"crossref","unstructured":"Pratt, V.R. (1995). The Stone gamut: a coordinatization of mathematics.\u00a0In LICS (pp. 444\u2013454). IEEE Computer Society.","DOI":"10.1109\/LICS.1995.523278"},{"issue":"4","key":"9276_CR28","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1017\/S0960129503004031","volume":"13","author":"VR Pratt","year":"2003","unstructured":"Pratt, V.R. (2003). Transition and cancellation in concurrency and branching time.\u00a0Mathematical Structures in Computer Science,\u00a013(4), 485\u2013529.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"9276_CR29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M. (2000). Universal coalgebra: a theory of systems.\u00a0Theoretical Computer Science,\u00a0249(1), 3\u201380.","journal-title":"Theoretical Computer Science"},{"key":"9276_CR30","doi-asserted-by":"crossref","unstructured":"Seely, R.A.G. (1989). Linear logic, *-autonomous categories and cofree coalgebras.\u00a0In Categories in computer science and logic. Contemporary mathematics (Vol. 92, pp. 371\u2013382). Am. Math. Soc.","DOI":"10.1090\/conm\/092\/1003210"},{"key":"9276_CR31","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S1571-0661(05)80354-8","volume":"33","author":"H Tews","year":"2000","unstructured":"Tews, H. (2000). Coalgebras for binary methods.\u00a0Electrical Notes Theory on Computer Science,\u00a033, 83\u2013111.","journal-title":"Electrical Notes Theory on Computer Science"},{"issue":"6","key":"9276_CR32","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/jigpal\/8.6.719","volume":"8","author":"J Benthem van","year":"2000","unstructured":"van Benthem, J. (2000). Information transfer across Chu spaces.\u00a0Logic Journal of the IGPL,\u00a08(6), 719\u2013731.","journal-title":"Logic Journal of the IGPL"},{"key":"9276_CR33","unstructured":"Vannucci, S. (2004). On game formats and Chu spaces. Department of Economics University of Siena 417, Department of Economics, University of Siena."},{"key":"9276_CR34","unstructured":"von Neumann, J. (1955).\u00a0Mathematical foundations of quantum mechanics. Princeton University Press. Translated from\u00a0Mathematische Grundlagen der Quantenmechanik, Springer, 1932."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9276-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/article\/10.1007\/s10992-013-9276-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9276-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T16:25:35Z","timestamp":1562862335000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/s10992-013-9276-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,5]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9276"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/s10992-013-9276-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,5]]}}}