Truth, modality and intersubjectivity

DOI10.1017/S0960129507006342zbMath1146.03003OpenAlexW2013495805MaRDI QIDQ5437028

Jean-Yves Girard

Publication date: 18 January 2008

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129507006342

zbMATH Keywords

modal logictruthquantum geometryfoundationsquantum computing

Mathematics Subject Classification ID

Quantum computation (81P68) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Models of societies, social and urban evolution (91D10) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) General topics in artificial intelligence (68T01)

Related Items (2)

Quantum coherent spaces and linear logic ⋮ Constructing a normal form for Property Theory

This page was built for publication: Truth, modality and intersubjectivity