Related papers: A logic road from special relativity to general re…
Einstein's general relativity is the best available theory of gravity. In recent years, spectacular proofs of Einstein's theory have been conducted, which have aroused interest that goes far beyond the narrow circle of specialists. The aim…
This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.
A generalization of the already studied transformations of the linear differential equation into a system of the first order equations is given. The proposed transformation gives possibility to get new forms of the N-dimensional system of…
Special relativity includes a concealed mechanism for reducing time-dilation effects in two mutually-receding objects. Forwarding their signals via one or more intermediate physical relay stages (a "probe chain") allows enhanced…
A modest aim of this pedagogical presentation is to analyze, critically, certain fundamental physical concepts to illustrate the physical principles behind the special theory of relativity and, hence, to also illustrate the limitations of…
An extension of the theory of General Relativity is proposed, based on pseudo-complex space-time coordinates. The new theory corresponds to the introduction of two, in general different, metrics which are connected through specific…
It is known that action is invariant in special relativity. The goal of this note is to show that the reverse statement is also correct, that special relativity follows from the postulate that action is invariant under the transformation…
In general relativity (GR), spacetime geometry is no longer just a background arena but a physical and dynamical entity with its own degrees of freedom. We present an overview of approaches to quantum gravity in which this central feature…
Special relativity (SR) with a privileged frame is a framework, which, like the standard relativity theory, is based on the relativity principle and the universality of the (two-way) speed of light but includes a privileged frame as an…
We show that weighted path orders are special instances of a variant of semantic path orders. Exploiting this fact, we introduce a generalization of weighted path orders that goes beyond the realm of simple termination. Experimental data…
Keeping the two fundamental postulates of the special theory of relativity, the principle of relativity and the constancy of the one-way velocity of light in all inertial frames of reference, and assuming two generalized Finslerian…
A simple formal recasting of well known arguments concerning the ordering problems of General Relativity allows to obtain in such a context a Gr\"{o}enewald Van Hove like theorem.
We apply the variable speed of light into general relativity in order to solve the problems we met in the standard cosmology. We're surprised to find that, the results from the general relativity in cosmology are exactly the same as those…
A new relativistic transformation in the velocity space (here named the differential Lorentz transformation) is formulated solely from the principle of relativity and the invariance of the speed of light. The differential Lorentz…
Besides the two fundamental postulates, (i) the principle of relativity and (ii) the constancy of the one-way velocity of light in all inertial frames of reference, the special theory of relativity employs another assumption. This…
We consider an extension of first-order logic with a recursion operator that corresponds to allowing formulas to refer to themselves. We investigate the obtained language under two different systems of semantics, thereby obtaining two…
An affine quantization approach leads to a genuine quantum theory of general relativity by extracting insights from a short list of increasingly more complex, soluble, perturbably nonrenormalizable models.
The purpose of this paper is to give an easy to understand with step-by-step explanation to allow interested people to fully appreciate the power of natural deduction for first-order logic. Natural deduction as a proof system can be used to…
The Lorentz transformation is derived without assuming the existence of Maxwell's equations, or that the speed of light is a constant, or even that light exists. This leads us logically to sonsider the existence of a primal field called…
General relativity can be recast as a theory of connections by performing a canonical transformation on its phase space. In this form, its (kinematical) structure is closely related to that of Yang-Mills theory and topological field…