Indexed metadata
Truth, modality and intersubjectivity
JEAN-YVES GIRARD
Source record
Source: Crossref
Published: Dec 1, 2007
DOI: 10.1017/s0960129507006342
Open original source ↗Source abstract
Quantum physics, together with the experimental (and slightly controversial) quantum computing , 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, truth .
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.