A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Truth, modality and intersubjectivity
2007
Mathematical Structures in Computer Science
Quantum physics together with the experimental (and slightly controversial) quantum computing, induces a twist in our vision of computation, thence -since computing and logic are intimately linked -in our approach to logic and foundations. In this paper, we shall discuss the most mistreated notion of logic, truth.
doi:10.1017/s0960129507006342
fatcat:eqeqgbr5kvgkzio3uhuvqs32ta