{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:16:24Z","timestamp":1770833784035,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T00:00:00Z","timestamp":1303257600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11229-011-9912-x","type":"journal-article","created":{"date-parts":[[2011,4,19]],"date-time":"2011-04-19T05:36:24Z","timestamp":1303191384000},"page":"697-718","source":"Crossref","is-referenced-by-count":25,"title":["Big toy models"],"prefix":"10.1007","volume":"186","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,4,20]]},"reference":[{"key":"9912_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S. (2010). Coalgebras, Chu Spaces, and representation of physical systems. In Proceedings of 25th Annual Symposium on Logic in Computer Science (LiCS) (pp. 411\u2013420). IEEE press.","DOI":"10.1109\/LICS.2010.35"},{"key":"9912_CR2","doi-asserted-by":"crossref","unstructured":"Barr, M. (1979). *-Autonomous categories. Lecture Notes in Mathematics (Vol. 752). New York: Springer.","DOI":"10.1007\/BFb0064579"},{"issue":"6","key":"9912_CR3","first-page":"137","volume":"4","author":"M. Barr","year":"1998","unstructured":"Barr M. (1998) The separated extensional Chu category. Theory and Applications of Categories 4(6): 137\u2013147","journal-title":"Theory and Applications of Categories"},{"key":"9912_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information flow: The logic of distributed systems","author":"J. Barwise","year":"1997","unstructured":"Barwise J., Seligman J. (1997) Information flow: The logic of distributed systems. Cambridge University Press, Cambridge"},{"key":"9912_CR5","unstructured":"Chu, P.-H. (1979). Constructing *-autonomous categories. Lecture Notes in Mathematics (Vol. 752, pp. 103\u2013137). New York: Springer."},{"key":"9912_CR6","unstructured":"Coecke, B., Edwards, B., & Spekkens, R. (2009). The group theoretic origin of non-locality For qubits. Technical Report RR-09-04, OUCL."},{"key":"9912_CR7","unstructured":"Devarajan, H., Hughes, D. J. D., Plotkin, G. D., & Pratt, V. R. (1999). Full completeness of the multiplicative linear logic of Chu spaces. In LICS (pp. 234\u2013242). Washington, DC: IEEE Computer Society."},{"key":"9912_CR8","volume-title":"The principles of quantum mechanics","author":"P.A.M. Dirac","year":"1947","unstructured":"Dirac P.A.M. (1947) The principles of quantum mechanics (3rd ed.). Oxford University Press, Oxford","edition":"3"},{"key":"9912_CR9","unstructured":"Droste, M., & Zhang, G.-Q. (2007). Bifinite Chu spaces. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Proceedings. Lecture Notes in Computer Science (Vol. 4624, pp. 179\u2013193), Bergen, Norway, 20\u201324 Aug 2007. New York: Springer."},{"key":"9912_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1014933313332","volume":"90","author":"C.-A. Faure","year":"2002","unstructured":"Faure C.-A. (2002) An elementary proof of the fundamental theorem of projective geometry. Geometriae Dedicata 90: 145\u2013151","journal-title":"Geometriae Dedicata"},{"key":"9912_CR11","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) Modern projective geometry. Kluwer, Dordrecht"},{"issue":"2","key":"9912_CR12","first-page":"150","volume":"68","author":"C.-A. Faure","year":"1995","unstructured":"Faure C.-A., Moore D.J., Piron C. (1995) Deterministic evolutions and Schr\u00f6dinger flows. Helvetica Physica Acta 68(2): 150\u2013157","journal-title":"Helvetica Physica Acta"},{"key":"9912_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. Theoretical Computer Science 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"issue":"5\u20136","key":"9912_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. Applied Categorical Structures 15(5\u20136): 573\u2013598","journal-title":"Applied Categorical Structures"},{"key":"9912_CR15","first-page":"145","volume-title":"CDES","author":"L. Ivanov","year":"2008","unstructured":"Ivanov L. (2008) Modeling non-iterated system behavior with Chu spaces. In: Arabnia H. R. (Ed.) CDES. CSREA Press, Las Vegas, NV, pp 145\u2013150"},{"key":"9912_CR16","volume-title":"Foundations of quantum mechanics","author":"J. M. Jauch","year":"1968","unstructured":"Jauch J. M. (1968) Foundations of quantum mechanics. Addison-Wesley, Reading, MA"},{"key":"9912_CR17","volume-title":"Linear operators for quantum mechanics","author":"T. F. Jordan","year":"1969","unstructured":"Jordan T. F. (1969) Linear operators for quantum mechanics. Wiley, New York"},{"key":"9912_CR18","unstructured":"Lafont, Y., & Streicher, T. (1991). Games semantics for linear logic. In LICS (pp. 43\u201350). Washington, DC: IEEE Computer Society."},{"key":"9912_CR19","volume-title":"Mathematical foundations of quantum mechanics","author":"G. W. Mackey","year":"1963","unstructured":"Mackey G. W. (1963) Mathematical foundations of quantum mechanics. W.A. Benjamin, New York"},{"key":"9912_CR20","unstructured":"MacLane, S., & Moerdijk, I. (1992). Sheaves in geometry and logic: A first introduction to topos theory. Universitext. New York: Springer-Verlag."},{"issue":"3","key":"9912_CR21","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., Wu B., Kreinovich V. (2001) Chu spaces: Towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the world wide web. JACIII 5(3): 149\u2013156","journal-title":"JACIII"},{"key":"9912_CR22","unstructured":"Palmigiano, A., & Venema, Y. (2007). Nabla algebras and Chu spaces. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Proceedings. Lecture Notes in Computer Science (Vol. 4624, pp. 394\u2013408), Bergen, Norway, 20\u201324 Aug 2007. New York: Springer."},{"issue":"4","key":"9912_CR23","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1142\/S0218488500000319","volume":"8","author":"B. K. Papadopoulos","year":"2000","unstructured":"Papadopoulos B. K., Syropoulos A. (2000) Fuzzy sets and fuzzy relational structures as Chu spaces. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(4): 471\u2013479","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"9912_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic category theory for computer scientists","author":"B. C. Pierce","year":"1991","unstructured":"Pierce B. C. (1991) Basic category theory for computer scientists. MIT Press, Cambridge"},{"key":"9912_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1440-3_7","volume-title":"Foundations of quantum physics","author":"C. Piron","year":"1976","unstructured":"Piron C. (1976) Foundations of quantum physics. W. A. Benjamin, New York"},{"key":"9912_CR26","unstructured":"Pratt, V. R. (1995). The stone gamut: A coordinatization of mathematics. In LICS (pp. 444\u2013454). Washington, DC: IEEE Computer Society."},{"issue":"1\u20133","key":"9912_CR27","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0168-0072(98)00043-8","volume":"96","author":"V. R. Pratt","year":"1999","unstructured":"Pratt V. R. (1999) Chu Spaces from the representational viewpoint. Annals of Pure and Applied Logic 96(1\u20133): 319\u2013333","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9912_CR28","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1017\/S0960129503004031","volume":"13","author":"V. R. Pratt","year":"2003","unstructured":"Pratt V. R. (2003) Transition and cancellation in concurrency and branching time. Mathematical Structures in Computer Science 13(4): 485\u2013529","journal-title":"Mathematical Structures in Computer Science"},{"key":"9912_CR29","volume-title":"Incompleteness, nonlocality and realism: A prolegomenon to the philosophy of quantum mechanics","author":"M. Redhead","year":"1987","unstructured":"Redhead M. (1987) Incompleteness, nonlocality and realism: A prolegomenon to the philosophy of quantum mechanics. Oxford University Press, Oxford"},{"issue":"1","key":"9912_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. J. M. M. Rutten","year":"2000","unstructured":"Rutten J. J. M. M. (2000) Universal coalgebra: A theory of systems. Theoretical Computer Science 249(1): 3\u201380","journal-title":"Theoretical Computer Science"},{"key":"9912_CR31","unstructured":"Scott, D. S. (1970). Outline of a mathematical theory of computation. Technical report, Oxford University Computing Laboratory. Technical Monograph PRG-2 OUCL."},{"key":"9912_CR32","doi-asserted-by":"crossref","unstructured":"Seely, R. A. G. (1989). Linear logic, *-autonomous categories and cofree coalgebras. In: Categories in computer science and logic. Contemporary Mathematics (Vol. 92, pp. 371\u2013382). Boston, MA: American Mathematical Society.","DOI":"10.1090\/conm\/092\/1003210"},{"key":"9912_CR33","first-page":"305","volume-title":"Studies in mathematical physics","author":"B. Simon","year":"1976","unstructured":"Simon B. (1976) From automorphism to Hamiltonian. In: Lieb E. H., Simon B., Wightman A. S. (eds) Studies in mathematical physics. Princeton University Press, Princeton, NJ, pp 305\u2013326"},{"issue":"3","key":"9912_CR34","doi-asserted-by":"crossref","first-page":"032110","DOI":"10.1103\/PhysRevA.75.032110","volume":"75","author":"R.W. Spekkens","year":"2007","unstructured":"Spekkens R.W. (2007) Evidence for the epistemic view of quantum states: A toy theory. Physical Review A 75(3): 032110","journal-title":"Physical Review A"},{"key":"9912_CR35","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1016\/B978-044452870-4\/50033-9","volume-title":"Handbook of quantum logic and quantum structures: Quantum structures","author":"I. Stubbe","year":"2007","unstructured":"Stubbe I., van Steirteghem B. (2007) Propositional systems, Hilbert lattices and heneralized Hilbert spaces. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures: Quantum structures. Elsevier, Amsterdam, pp 477\u2013523"},{"issue":"6","key":"9912_CR36","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. Logic Journal of the IGPL 8(6): 719\u2013731","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"9912_CR37","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1142\/S021919890700131X","volume":"9","author":"S. Vannucci","year":"2007","unstructured":"Vannucci S. (2007) On game formats and Chu spaces. International Game Theory Review 9(1): 119\u2013138","journal-title":"International Game Theory Review"},{"key":"9912_CR38","unstructured":"von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton, NJ: Princeton University Press. Translated from Mathematische Grundlagen der Quantenmechanik. Berlin: Springer, 1932."},{"issue":"8","key":"9912_CR39","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/BF01811089","volume":"16","author":"R. Wright","year":"1977","unstructured":"Wright R. (1977) The structure of projection-valued states: A generalization of Wigner\u2019s theorem. International Journal of Theoretical Physics 16(8): 567\u2013573","journal-title":"International Journal of Theoretical Physics"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9912-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-9912-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9912-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T00:26:28Z","timestamp":1560126388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9912-x"}},"subtitle":["Representing physical systems as Chu spaces"],"short-title":[],"issued":{"date-parts":[[2011,4,20]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9912"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9912-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,20]]}}}