Synthese

• 

  Año 2015, Vol. 192, Número 7

  • Logic and relativity theory

    Gergely Székely

    págs. 1937-1938

    

  • The relativity and universality of logic

    Jean Yves Béziau

    • Resumen

    págs. 1939-1954

    

  • The machine as data: : a computational view of emergence and definability

    S Barry Cooper

    • Resumen

    págs. 1955-1988

    

  • A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer

    Christian Wuthrich

    • Resumen

    págs. 1989-2008

    

  • An axiomatic foundation of relativistic spacetime

    Thomas Benda

    • Resumen

    págs. 2009-2024

    

  • Probabilities defined on standard and non-standard cylindric set algebras

    Miklös Ferenczi

    • Resumen

    págs. 2025-2033

    

  • On the epistemological significance of the hungarian project

    Michèle Friend

    • Resumen

    págs. 2035-2051

    

  • Formal statement of the special principle of relativity

    Márton Gömöri, László E. Szabó

    • Resumen

    págs. 2053-2076

    

  • Proof verification and proof discovery for relativity

    Naveen Sundar Govindarajalulu, Selmer Bringsjord, Joshua. Taylor

    • Resumen

    págs. 2077-2094

    

  • A classification of certain group-like FL e -chains

    Sándor Jenei, Franco Montagna

    • Resumen

    págs. 2095-2121

    

  • Visions of Henkin

    María Manzano, Enrique Alonso

    • Resumen

    págs. 2123-2138

    

  • Starting from the scenario Euclid–Bolyai–Einstein

    Solomon Marcus

    • Resumen

    págs. 2139-2149

    

  • The equational theories of representable residuated semigroups

    Szabolcs Mikulás

    • Resumen

    págs. 2151-2158

    

  • Complexity of equational theory of relational algebras with standard projection elements

    Szabolcs Mikulás, Ildikó Sain, András Simon

    • Resumen

    págs. 2159-2182

    

  • Axiomatizing relativistic dynamics using formal thought experiments

    Attila Molnàr, Gergely Székely

    • Resumen

    págs. 2183-2222

    

  • Neat embeddings as adjoint situations

    Tarek Sayed-Ahmed

    • Resumen

    págs. 2223-2259

    

  • Motion and observation in a single-particle universe

    Mike Stannett

    • Resumen

    págs. 2261-2271

    

  • Does branching explain flow of time or the other way around?

    Petr Švarný

    • Resumen

    págs. 2273-2292

    

  • On the axiomatizability of some first-order spatio-temporal theories

    Sándor Vályi

    • Resumen

    págs. 2293-2309

    

  • Rational evaluation in belief revision

    Dongfeng Yuan, Shier Ju

    • Resumen

    págs. 2311-2336