Related papers: Implication via Spacetime
Standard approaches to probabilistic reasoning require that one possesses an explicit model of the distribution in question. But, the empirical learning of models of probability distributions from partial observations is a problem for which…
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…
We study the noncommutative inflation with a time-dependent noncommutativity between space and time. From the numerical analysis of power law inflation, there are clues that the CMB spectrum indicates a nonconstant noncommutative inflation.…
A global intrinsic time in Friedmann - Robertson - Walker models is proportional to a scaling factor of the spatial metric. The aim of the paper is to study an applicability of the intrinsic global time chosen to nearest non-symmetric cases…
IIn the paper the Space-Time problem is considered as it seen in the informational conception ("the Information as Absolute" conception) comparing with a number of existent physical and philosophical approaches. Since the conception is…
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from…
Astrophysical observations provide a picture of the universe as a 4-dim homogeneous and isotropic flat space-time dominated by an unknown form of dark energy. To achieve such a cosmology one has to consider in the early universe an…
Estimating causal effects is particularly challenging when outcomes arise in complex, non-Euclidean spaces, where conventional methods often fail to capture meaningful structural variation. We develop a framework for topological causal…
Several physical concepts, including the concept of time, are clarified herein by taking into account existing experimental data. In addition, the missing links among these physical concepts are established. This allows us to take another…
I propose that Physics should be formulated using minimal mathematical structure, beginning with its foundational arena: spacetime. This paper opens with a concise overview of several research directions explored in previous work. Among…
Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time translation which for each quantum logic $Q$ and each…
Within the program of finding axiomatizations for various parts of computability logic, it was proved earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting's intuitionistic calculus. That sort…
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the…
Together with collaborators, we introduced a noncommutative Riemannian geometry over Moyal algebras and systematically developed it for noncommutative spaces embedded in higher dimensions in the last few years. The theory was applied to…
We investigate the possible effects on the evolution of perturbations in the inflationary epoch due to short distance physics. We introduce a suitable non local action for the inflaton field, suggested by Noncommutative Geometry, and…
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for…
According to the dominant view, time in perceptual decision making is used for integrating new sensory evidence. Based on a probabilistic framework, we investigated the alternative hypothesis that time is used for gradually refining an…
We propose that cosmological time is {\it effectively} the conjugate of the constants of nature. Different definitions of time arise, with the most relevant related to the constant controlling the dynamics in each epoch. The Hamiltonian…
The approach taken by Gheorghiu, Gu and Pym in their paper on giving a Base-extension Semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the work of Sandqvist for IPL to the substructural setting. What…
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of…