{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:23:12Z","timestamp":1729610592738,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/icci-cc.2014.6921512","type":"proceedings-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T20:14:51Z","timestamp":1414008891000},"page":"529-534","source":"Crossref","is-referenced-by-count":0,"title":["Symmetry in sequent calculus and Matte Blanco's bi-logic"],"prefix":"10.1109","author":[{"given":"Giulia","family":"Battilotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Probing the Mechanism of Quantum Speed Up by Timesymmetric Quantum Mechanics","year":"0","author":"castagnoli","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511997716"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35659-9"},{"key":"15","volume":"5494","author":"bruza","year":"2009","journal-title":"Proceedings of the Third Quantum Interaction Symposium Lecture Notes in Artificial Intelligence"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1037\/a0022542"},{"journal-title":"Proceedings of the AAAI Spring Symposium on Quantum Interaction","year":"2007","author":"bruza","key":"13"},{"journal-title":"Quantum Interaction Proceedings of the Second Quantum Interaction Symposium","year":"2008","author":"bruza","key":"14"},{"journal-title":"Speakable and Unspeakable in Quantum Mechanics","year":"1987","author":"bell","key":"11"},{"journal-title":"Open Quantum Systems and Quantum Algorithms","year":"0","author":"bonzio","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-010-9407-5"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-006-9020-x"},{"journal-title":"Non Sequential Behavior of the Wave Function","year":"0","author":"dolev","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.1997.0604"},{"key":"25","first-page":"1","article-title":"Modelling of Psychological Behavior on the Basis of Ultrametric Mental Space: Encoding of Categories by Balls p-Adic numbers","volume":"2","author":"khrennikov","year":"2010","journal-title":"Ultrametric Analysis and Applications"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1353\/aim.2008.0009"},{"key":"27","article-title":"From sets and types to topology and analysis: Towards practicable foundations for constructive mathematics","author":"maietti","year":"2005","journal-title":"L Crosilla P Schuster Eds ) Oxford UP"},{"journal-title":"The Unconscious As Infinite Sets An Essay in Bi-Logic","year":"1975","author":"matte","key":"28"},{"journal-title":"Thinking Feeling and Being","year":"1988","author":"matte","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1111\/tops.12042"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X12002841"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54943-4_16"},{"key":"1","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1016\/j.jmp.2009.04.005","article-title":"Quantum structure in cognition","volume":"53","author":"aerts","year":"2009","journal-title":"J Math Psychol"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1134\/S2070046612030041"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-009-0099-6"},{"key":"6","article-title":"Editors quantum interaction","author":"atmanspacher","year":"2014","journal-title":"7th International Conference QI 2013"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24971-6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-013-1946-z"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.2307\/2586685"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24971-6_12"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-013-1823-9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-011-0899-3"}],"event":{"name":"2014 IEEE 13th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2014,8,18]]},"location":"London, UK","end":{"date-parts":[[2014,8,20]]}},"container-title":["2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6911098\/6921429\/06921512.pdf?arnumber=6921512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:52:16Z","timestamp":1498171936000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6921512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2014.6921512","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}