# The logic of causally closed spacetime subsets

@article{Casini2002TheLO, title={The logic of causally closed spacetime subsets}, author={Horacio Casini}, journal={Classical and Quantum Gravity}, year={2002}, volume={19}, pages={6389-6404} }

The causal structure of spacetime offers a natural notion of an opposite or orthogonal in the logical sense, where the opposite of a set is formed by all points non-timelike related with it. We show that for a general spacetime the algebra of subsets that arises from this negation operation is a complete orthomodular lattice, and thus has several of the properties characterizing the algebra of physical propositions in quantum mechanics. We think this lattice could be used to investigate the…

## 29 Citations

A geometrical origin for the covariant entropy bound

- Mathematics
- 2003

Causal diamond-shaped subsets of spacetime are naturally associated with operator algebras in quantum field theory, and they are also related to the Bousso covariant entropy bound. In this work we…

Algebraic and Geometric Structures in Special Relativity

- Mathematics
- 2006

I review, some of the algebraic and geometric structures that underlie the theory of Special Relativity. This includes a discussion of relativity as a symmetry principle, derivations of the Lorentz…

Dirac and Weyl Fermions - the Only Causal Systems

- Physics
- 2017

Causal systems describe the localizability of relativistic quantum systems complying with the principles of special relativity and elementary causality. At their classification we restrict ourselves…

On completeness and generalized symmetries in quantum field theory

- MathematicsModern Physics Letters A
- 2021

We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical…

Observables III: Classical Observables

- Mathematics
- 2006

In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can…

Between quantum logic and concurrency

- Computer Science, MathematicsQPL
- 2012

A logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas is delineated; the resulting logic is non-classical; it is shown that maximal antichains in a causalNet are associated to Boolean substructures of the overall quantum logic.

Fibred contextual quantum physics

- Mathematics
- 2014

A contextual quantum mechanics via the geometric mathematics to propose a quantum contextuality adaptable in every topos, corresponding to the belief that the quantum world must only be seen from the classical viewpoints a la Bohr.

Lorentzian causality theory

- MathematicsLiving Reviews in Relativity
- 2019

I review Lorentzian causality theory paying particular attention to the optimality and generality of the presented results. I include complete proofs of some foundational results that are otherwise…

1 1 1 Se p 20 05 Observables I : Stone Spectra

- Mathematics
- 2008

In this work we discuss the notion of observable both quantum and classical from a new point of view. In classical mechanics, an observable is represented as a function (measurable, continuous or…

## References

SHOWING 1-10 OF 26 REFERENCES

Space-time as a causal set.

- PhilosophyPhysical review letters
- 1987

We propose that space-time at the smallest scales is in reality a causal set: a locally finite set of elements endowed with a partial order corresponding to the macroscopic relation that defines past…

Algebraic Quantum Field Theory: A Status Report

- Physics
- 2000

In this contribution a non-technical survey is given with emphasis on interesting recent developments and future perspectives on the relation between the algebraic approach and conventional quantum field theory, its significance for the resolution of conceptual problems (such as the revision of the particle concept).

The Large Scale Structure of Space-Time

- Physics
- 1973

The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions.

On the structure of causal spaces

- Philosophy
- 1967

Abstract The paper examines the structure obtained by abstracting from the conventional (manifold) representation of relativistic space-time the concept of an event-set equipped with two partial…

Logics generated by causality structures. covariant representations of the Galilean logic

- Philosophy, Physics
- 1976

Causal logic of Minkowski space

- Philosophy
- 1977

It is shown that double-orthogonal sets (diamonds) in Minkowski space form an orthomodular complete lattice. Connection with empirical logic of Randall and Foulis is discussed.

Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity

- Philosophy, Physics
- 2000

We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In…

General Relativity; an Einstein Centenary Survey

- Physics
- 1979

List of contributors Preface 1. An introductory survey S. W. Hawking and W. Israel 2. The confrontation between gravitation theory and experiment C. M. Will 3. Gravitational-radiation experiments D.…

Logic of Quantum Mechanics

- Philosophy
- 1976

“When we go far in the direction of the very small, quantum theory says that our forms of thought fail, so that it is questionable whether we can properly think at all”. These words of Bridgman…