![](img/space.gif) |
Algebraic ligic; investigating the logical structure of relativity theory
|
Help
Print
|
Here you can view and search the projects funded by NKFI since 2004
Back »![](img/space.gif)
![](img/space.gif)
![](img/space.gif)
![](img/space.gif)
|
![](img/print_ver.gif) |
List of publications |
|
|
Andai A.: Információgeometria a kvantummechanikában., Doktori Értekezés, BME. (iv)+220 old., 2003 | Andréka H; Madarász JX; Németi I; Székely G.: A logical investigation of inertial and accelerated observers in flat space-times., In: Kalmár Workshop on Logic and Computer Science, Gécseg F. Csirik J. és Turán Gy. szerk., Department of Informatics, University of Szeged, Szeged, Hungary. 45-57., 2003 | Andréka H; Madarász JX; Németi I.: Logical analysis of relativity theories., In: Hendricks V, Neuhaus V, Pedersen S.A, Scheffler U, Wansing H. (ed.) First-order logic revisited, Berlin: Logos Verlag. pp.7-36., 2004 | Andréka H; Madarász JX; Németi I.: Logical axiomatizations of space-time. Samples from the literature., In: Prékopa, A. és Molnár, E. (ed.) Non-Euclidean geometries:János Bolyai memorial volume. Mathematics and Its Applications Vol. 581. Springer pp.155-185., 2006 | Henk Cs.: Characterizing representability of Jónsson dynamic algebras parametrized by free Kleene algebras., In: Kalmár Workshop on Logic and Computer Science, Gécseg F. Csirik J. Turán Gy. (ed.), Department of Informatics, University of Szeged, Szeged, Hungary. pp.99-105., 2003 | Madarász JX; Németi I; Tőke Cs.: On generalizing the logic-approach to space-time towards general relativity: first steps., In: Hendricks V. Neuhaus F. Pedersen SA. Scheffler U. Wansing H. (ed.) First-order logic revisited, Berlin: Logos Verlag. pp.225-268., 2004 | Madarász JX; Tőke Cs.: Duality between observational and theoretical concepts in relativity theory analysed by FOL and definability theory., In: Kalmár Workshop on Logic and Computer Science, Gécseg F. Csirik J. Turán Gy. (ed.), Department of Informatics, University of Szeged, Szeged, Hungary. pp.133-143., 2003 | Serény Gy.: Boolos-style proofs of limitative theorems., Mathematical Logic Quarterly 50(2): 211-216., 2004 | Andréka H; Comer SD; Madarász JX; Németi I; Sayed-Ahmed T.: Epimorphisms in cylindric algebras., Közlésre elfogadva. Algebra Universalis, 2007 | Andréka H; Madarász JX; Németi I.: Algebras of relations of various ranks, some current trends and applications., Journal of Relational Methods in Computer Science 1: 27-49., 2004 | Andréka H; Madarász JX; Németi I.: Mutual definability does not imply definitional equivalence, a simple example., Math. Log. Quart. 51,6 : 591-597., 2005 | Ferenczi M; Pataricza A; Rónyai L; szerkesztők.: Formal methods in computing., Akadémia Kiadó, Budapest, 425 oldal, 2005 | Ferenczi M.: Classical and non-classical logics., In: Formal Methods in Computing, ed. Ferenczi, M., Pataricza, A., Rónyai, L., Akadémiai Kiadó, Budapest 2005. pp.97-155., 2005 | Ferenczi M.: Probabilities on first order models., Publications de l’Institute Mathematique (Beograd) 78(92), pp.107-115., 2005 | Ferenczi M; Sági G.: On Some Developments in the Representation Theory of Cylindric-Like Algebras,, Algebra Universalis vol 55, pp.345-353., 2006 | Hogarth M: Conventionality of Simultaneity: Malament’s result revisited, Foundations of Physics Letters 18,5: 491-497, 2005 | Vályi S; Mecsei Z.: A Gentzen-style extension of natural deduction – adjusted for undergraduate informatics studies., Proceedings of Informatics in Higher Education 2005, Debrecen. Pethő A, Herdon M. szerk., 5 oldal., 2005 | Serény Gy.: The Liar cannot be solved., In: Truth, Unity and The Liar. (eds. Sh. Raman, T. Tulenheimo, E. Genot). Invited contributed paper, közlésre elfogadva., 2007 | Andai A.: On the curvature of the quantum state space with pull-back metrics., Linear Algebra and Its Applications 423: 287-304, 2007 | Etesi G.: Homotopic classification of Yang-Mills vacua taking into account causality., Int. Journ. Theor. Phys. 46: 832-847., 2007 | Etesi G.: Gravitational interpretation of the Hitchin equations., Journ. Geom. Phys. 57: 1778-1788., 2007 | Ferenczi M.: Finitary polyadic algebras from cylindric algebras., Studia Logica 87, pp.1-11., 2007 | Ferenczi M.: On cylindric algebras satisfying the merry-go-round properties., Logic Journal of IGPL 15,2: 183-199., 2007 | Madarász JX; Németi I; Székely G.: First-order logic foundation of relativity theories., In: New logics for the XXIst century. Vol II. Mathematical Problems from Applied Logics, Springer. pp.217-252., 2007 | Serény Gy.: The diagonal lemma as the formalized Grelling paradox., In: Gödel Centenary 2006, M. Baaz, N. Preining eds., Collegium Logicum 9, Kurt Gödel Society, Vienna. pp.63-66., 2006 | Simon A.: Connections between quasi-projective relation algebras and cylindric algebras., Algebra Universalis 56,3-4: 263-301., 2007 | Nagy B; Vályi S.: Visual reasoning by generalized interval-values and interval temporal logic., CEUR Workshop Proceedings vol 274, ISSN 1613-0073, pp.13-26., 2007 | Madarász JX; Sayed-Ahmed T.: Amalgamation, Interpolation and epimorphisms in algebraic logic., Algebra Universalis 56,2: 179-210., 2007 | Németi I; Andréka H.: Can general relativistic computers break the Turing barrier?, Logical Approaches to Computational Barriers, A. Beckmann, U. Berger, B. Löwe, J.V. Tucker szerk., Lecture Notes in Computer Science Springer, Berlin. pp.398-412., 2006 | Nagy B; Vályi S.: Solving a PSPACE-complete problem by a linear interval-valued computation., In: Computability in Europe 2006: Logical Approaches to Computational Barriers., University of Swansea, A. Beckmann, U. Berger, B. Löwe, J. Tucker eds., pp.216-225., 2006 | Nagy B; Vályi S.: Interval-valued computations without the product operator., In: Proc. 7th International Conference on Applied Informatics. közlésre elfogadva. 7 old., 2007 | Nagy B; Vályi S.: Interval-valued computating as a visual reasoning system., In: Proc. 13th International Conference on Distributed Multimedia Systems. pp.247-250., 2007 | Vályi S.: On monadic second-order theories of the causal connectabilitz relation., Journal of Philosophical Logic, közlésre elfogadva. 12 old., 2007 | Vályi S.: Investigations into non-classical logic - axiomatizability of spatio-temporal theories and complexity of interval-valued computations., PhD Dissertation. Doctoral School in Mathematics and Computer Science of University of Debrecen., 2007 | Andréka H; Madarász JX; Németi I; Székely G.: Axiomatizing relativistic dynamics without conservation postulates., Studia Logica, megjelenés alatt. 20 old., 2007 | Andai A.: Monotone Riemannian metrics on density matrices with non-monotone scalar curvature., Journal of Mathematical Physics 44:3675-3688, 2003 | Andréka, H. Madarász, J.X. Németi, I.: Logic of spacetime and relativity., In: Handbook of Spatial Logics. Eds: Aiello, M. Pratt-Hartmann, I. and van Benthem, J. Springer-Verlag. pp.607-701., 2007 | Andréka H; Németi I; Sayed-Ahmed T.: Omitting types for finite variable fragments and complete representations of algebras., Journal of Symbolic Logic, megjelenés alatt. 34 old., 2007 | Andréka H; Németi I; Wüthrich C.: A twist in the geometry of rotating black holes: seeking the cause of acausality., General Relativity and Gravitation, megjelenés alatt. 21 old., 2007 | Etesi G.: The topology of asymptotically locally flat gravitational instantons., Phys. Lett. B641, 461-465., 2006 | Etesi G; Jardim M.: Moduli spaces of self-dual connections over asymptotically locally flat gravitational instantons., Commun. Math. Phys., közlésre elfogadva., 2007 | Hogarth M.: Deciding arithmetic using SAD computers., Brit. J. Phil. Sci. 55: 681-691., 2004 | Madarász JX; Németi I; Székely G.: Twin Paradox and the logical foundation of relativity theory., Foundation of Physics vol.36,5. pp.681-714., 2006 | Nagy B; Vályi S.: Interval-valued computations and their connection to PSPACE., Theoretical Computer Science, közlésre elfogadva. 22 old., 2007 | Németi I; Dávid Gy.: Relativistic computers and the Turing barrier., Journal of Applied Mathematics and Computation vol.178. pp.118-142., 2006 |
![](img/space.gif)
|
|
|
![](img/shadow_right_up.gif)
|
![](img/shadow_left_bottom.gif)
|
![](img/shadow_right_bottom.gif)
|
![](img/space.gif) Back »
|
![](img/space.gif) |
|