Related papers: Implication via Spacetime
We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…
In this thesis, we study the Hawking and Unruh effects in time-dependent situations, as registered by localised spacetimes observers in several asymptotic situations. (Full abstract inside document.)
We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…
We show that intuitionistic propositional logic is \emph{Carnap categorical}: the only interpretation of the connectives consistent with the intuitionistic consequence relation is the standard interpretation. This holds relative to the most…
The contemporary physics has revealed growing evidences that the emergence can be applied to not only biology and condensed matter systems but also gravity and spacetime. We observe that noncommutative spacetime necessarily implies emergent…
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…
We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual characterization results and insights from unified correspondence…
Recently a stochastic underpinning for space time has been considered, what may be called Quantized Fractal Space Time. This leads us to a number of very interesting consequences which are testable, and also provides a rationale for several…
I describe some phenomenological contexts in which it is possible to investigate effects induced by (string-motivated) canonical noncommutative spacetime. Due to the peculiar structure of the theory the usual criteria adopted for the choice…
Spacetime manifolds that are not time orientable play a key role in a gravitational explanation of quantum theory. Such manifolds allow topology change, but also have fascinating additional properties such as net charge from source-free…
Field theories based on non-commutative spacetimes exhibit very distinctive nonlocal effects which mix the ultraviolet with the infrared in bizarre ways. In particular if the time coordinate is involved in the non-commutativity the theory…
We discuss the usual account of causal structure that relies on the temporal precedence constraint between cause-effect pairs. In particular, we consider the subtle interplay between local and global characters of time and causality encoded…
We introduce a framework to study the emergence of time and causal structure in quantum many-body systems. In doing so, we consider quantum states which encode spacetime dynamics, and develop information theoretic tools to extract the…
We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq,S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to…
We study the non-unitary relation between quantum gravitational models defined using different internal times. We show that despite the non-unitarity, it is possible to provide a prescription for making unambiguous, though restricted,…
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in…
We introduce a monotone modal analogue of the intuitionistic (normal) modal logic IK using a translation into a suitable (intuitionistic) first-order logic. We axiomatise the logic and give a semantics by means of intuitionistic…
The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\Diamond,\forall}$, recently shown to be decidable by…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
Spacetime emergence refers to the notion that classical spacetime "emerges" as an approximate macroscopic entity from a non-spatio-temporal structure present in a more complete theory of interacting fundamental constituents. In this…