8 found
Sort by:
Disambiguations:
Judit X. Madarász [7]Judit X. Madarász [1]
  1. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely (2012). A Logic Road From Special Relativity to General Relativity. 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)  
     
    My bibliography  
     
    Export citation  
  2. Judit X. Madarász (2012). Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic. Journal of Applied Non-Classical Logics 8 (1-2):67-105.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely, A Logic Road From Special to General Relativity.
    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.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Judit X. Madarász, István Németi & Gergely Székely (2006). Twin Paradox and the Logical Foundation of Relativity Theory. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Hajnal Andréka, Judit X. Madarász & István Németi (2005). Mutual Definability Does Not Imply Definitional Equivalence, a Simple Example. Mathematical Logic Quarterly 51 (6):591-597.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Judit X. Madarász, István Németi & Csaba Toke (2004). On Generalizing the Logic-Approach to Space-Time Towards General Relativity: First Steps. In Vincent F. Hendricks (ed.), First-Order Logic Revisited. Logos. 225--268.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Judit X. Madarász (1999). Interpolation and Amalgamation; Pushing the Limits. Part II. 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)  
     
    My bibliography  
     
    Export citation  
  8. Judit X. Madarász (1998). Interpolation and Amalgamation; Pushing the Limits. Part I. 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)  
     
    My bibliography  
     
    Export citation