10 found
Order:
  1.  96
    A Logic Road From Special Relativity to General Relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  31
    Mutual Definability Does Not Imply Definitional Equivalence, a Simple Example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
    We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  61
    Twin Paradox and the Logical Foundation of Relativity Theory.Judit X. Madarász, István Németi & Gergely Székely - 2006 - Foundations of Physics 36 (5):681-714.
    We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  2
    The Existence of Superluminal Particles is Consistent with Relativistic Dynamics.Judit X. Madarász & Gergely Székely - 2014 - Journal of Applied Logic 12 (4):477-500.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  13
    Interpolation and Amalgamation; Pushing the Limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
    Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  21
    On Generalizing the Logic-Approach to Space-Time Towards General Relativity: First Steps.Judit X. Madarász, István Németi & Csaba Toke - 2004 - In Vincent F. Hendricks (ed.), First-Order Logic Revisited. Logos. pp. 225--268.
  7.  87
    A Logic Road From Special to General Relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - unknown
    We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  18
    Interpolation and Amalgamation; Pushing the Limits. Part II.Judit X. Madarász - 1999 - Studia Logica 62 (1):1-19.
    This is the second part of the paper [Part I] which appeared in the previous issue of this journal.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  8
    Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic.Judit X. Madarász - 1998 - Journal of Applied Non-Classical Logics 8 (1):67-105.
    ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  6
    Three Different Formalisations of Einstein’s Relativity Principle.Judit X. Madarász, Gergely Székely & Mike Stannett - 2017 - Review of Symbolic Logic 10 (3):530-548.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark