Logic of simultaneity

DOI10.1007/S10773-008-9900-1MaRDI QIDQ2390846zbMATH OpenOpenAlexFDO

Authors Kenji Tokuo

Publication date 10 August 2009

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.1398

zbMATH Keywords

quantum logicspecial relativityconventionality of simultaneityorthologic

Mathematics Subject Classification ID

Special relativity (83A05) Relativistic gravitational theories other than Einstein's, including asymmetric field theories (83D05)

Abstract: A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals of processes. Under this set-theoretic approach, the logic that governs the processes acquires a Boolean structure. However, in a real distributed system or a relativistic universe where the message-passing time between different locations is not negligible, the logic has no choice but to accept time interval instead of time point as a primitive concept. From this modeling process of spatiotemporal structures, orthologic, the most simplified version of quantum logic, emerges naturally.

Recommendations

• Tense logic and time
• Publication:4733377
• scientific article; zbMATH DE number 604725
• Time and logic: A calculus of binary events
• scientific article; zbMATH DE number 605784

Cites work

• scientific article; zbMATH DE number 3134285 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• A Road Map of Interval Temporal Logics and Duration Calculi
• A brief history of process algebra
• A propositional modal logic of time intervals
• Acyclic colorings of planar graphs
• Interval semantics for tense logic: Some remarks
• Time, clocks, and the ordering of events in a distributed system

Cited in

(1)

• The curse of simultaneity

This page was built for publication: Logic of simultaneity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390846)