{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:23:07Z","timestamp":1776316987117,"version":"3.50.1"},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,12]]},"abstract":"<jats:p>Quantum physics, together with the experimental (and slightly controversial) <jats:italic>quantum computing<\/jats:italic>, induces a twist in our vision of computation, and hence, since computing and logic are intimately linked, in our approach to logic and foundations. In this paper, we discuss the most mistreated notion of logic, <jats:italic>truth<\/jats:italic>.<\/jats:p>","DOI":"10.1017\/s0960129507006342","type":"journal-article","created":{"date-parts":[[2007,11,23]],"date-time":"2007-11-23T13:42:02Z","timestamp":1195825322000},"page":"1153-1167","source":"Crossref","is-referenced-by-count":5,"title":["Truth, modality and intersubjectivity"],"prefix":"10.1017","volume":"17","author":[{"given":"JEAN-YVES","family":"GIRARD","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,12,1]]},"reference":[{"key":"S0960129507006342_manual_ref-3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511550850.011"},{"key":"S0960129507006342_manual_ref-1","volume-title":"Non-commutative geometry","author":"Connes"},{"key":"S0960129507006342_manual_ref-2","first-page":"221","volume-title":"Logic Colloquium '88","author":"Girard","year":"1989"},{"key":"S0960129507006342_manual_ref-4","unstructured":"Girard, J.-Y. (2006) Le point aveugle, tome 1: vers la perfection, Visions des Sciences, Hermann."},{"key":"S0960129507006342_manual_ref-5","doi-asserted-by":"publisher","DOI":"10.1201\/9781439865835-5"},{"key":"S0960129507006342_manual_ref-6","unstructured":"Girard, J.-Y. (2007) Le point aveugle, tome 2: vers l'imperfection, Visions des Sciences, Hermann."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129507006342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T06:00:52Z","timestamp":1750485652000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129507006342\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":6,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["S0960129507006342"],"URL":"https:\/\/doi.org\/10.1017\/s0960129507006342","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}