Related papers: Implication via Spacetime
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, considering a classical…
Space-time is one of the most essential, yet most mysterious concepts in physics. In quantum mechanics it is common to understand time as a marker of instances of evolution and define states around all the space but at one time; while in…
We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence…
The existence of small amounts of advanced radiation, or a tilt in the arrow of time, makes the basic equations of physics mixed-type functional differential equations. The novel features of such equations point to a microphysical structure…
The full causal ladder of spacetimes is constructed, and their updated main properties are developed. Old concepts and alternative definitions of each level of the ladder are revisited, with emphasis in minimum hypotheses. The implications…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
We emphasize that noncommutative (NC) spacetime necessarily implies emergent spacetime if spacetime at microscopic scales should be viewed as NC. In order to understand NC spacetime correctly, we need to deactivate the thought patterns that…
This paper discusses how the transactional interpretation of quantum mechanics can provide for a natural account of the emergence of spacetime events from a quantum substratum. In this account, spacetime is not a substantive manifold that…
In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points.…
Recent advances in observational cosmology are changing the way we view the nature of time. In general relativity, the freedom in choosing a time hypersurface has hampered the implementation of the theory. Fortunately, Hamilton-Jacobi…
This note is concerned with a formal analysis of the problem of non-monotonic reasoning in intelligent systems, especially when the uncertainty is taken into account in a quantitative way. A firm connection between logic and probability is…
A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as ``if objects come after verbs, then adjectives come after nouns.'' Such…
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…
We present some modern theories on the structure of spacetime that can be classified as relational theories in the direction of Leibniz's ontology. In order to analyze the nature of spacetime we consider three levels of knowledge…
The nature of cosmic time is illuminated using Hamilton-Jacobi theory for general relativity. For problems of interest to cosmology, one may solve for the phase of the wavefunctional by using a line integral in superspace. Each contour of…
A practical way to deal with the problem of time in quantum cosmology and quantum gravity is proposed. The main tool is effective equations, which mainly restrict explicit considerations to semiclassical regimes but have the crucial…
The concept of time is discussed in the context of the canonical formulation of the gravitational field. Using a hypersurface orthogonal foliation, the arbitrariness of the lapse function is eliminated and the shift vector vanishes,…
The constraints arising for a general set of causal relations, both classically and quantumly, are still poorly understood. As a step in exploring this question, we consider a coherently controlled superposition of "direct-cause" and…
Hamilton-Jacobi theory provides a natural starting point for a covariant description of the gravitational field. Using a spatial gradient expansion, one may solve for the phase of the wavefunction by using a line-integral in superspace.…
We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational…