Logic and relativity theory

Gergely Szekely

1937-1938

The relativity and universality of logic

1939-1954

The machine as data

a computational view of emergence and definability

S. Cooper

1955-1988

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

Christian Wüthrich

1989-2008

An axiomatic foundation of relativistic spacetime

Thomas Benda

2009-2024

Probabilities defined on standard and non-standard cylindric set algebras

Miklós Ferenczi

2025-2033

On the epistemological significance of the Hungarian project

Michele Friend

2035-2051

Formal statement of the special principle oF Relativity

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

2053-2076

Proof verification and proof discovery for relativity

Naveen Sundar Govindarajalulu, Selmer Bringsjord

2077-2094

A classification of certain group-like fl $$_e$$ e -chains

Sándor Jenei, Franco Montagna

2095-2121

Visions of Henkin

Maria Manzano, Enrique Alonso

2123-2138

Starting from the scenario Euclid–Bolyai–Einstein

Solomon Marcus

2139-2149

The equational theories of representable residuated semigroups

Szabolcs Mikuláš

2151-2158

Complexity of equational theory of relational algebras with standard projection elements

Szabolcs Mikuláš, Ildikó Sain, Simon Andras

2159-2182

Axiomatizing relativistic dynamics using formal thought experiments

Attila Molnár, Gergely Szekely

2183-2222

Neat embeddings as adjoint situations

Tarek Sayed-Ahmed

2223-2259

Motion and observation in a single-particle universe

Mike Stannett

2261-2271

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

Petr Švarný

2273-2292

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

Sándor Vályi

2293-2309

Rational evaluation in belief revision

Yongfeng Yuan

2311-2336