Truth, modality and intersubjectivity

JEAN-YVES GIRARD
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