An axiomatic foundation of relativistic spacetime.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2009, doi. 10.1007/s11229-013-0345-6
- By:
- Publication type:
- Article
Works matching IS 00397857 AND DT 2015 AND VI 192 AND IP 7
Results: 20
1
2
Starting from the scenario Euclid-Bolyai-Einstein.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2139, doi. 10.1007/s11229-013-0346-5
- By:
- Publication type:
- Article
3
On the axiomatizability of some first-order spatio-temporal theories.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2293, doi. 10.1007/s11229-013-0365-2
- By:
- Publication type:
- Article
4
Formal statement of the special principle of relativity.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2053, doi. 10.1007/s11229-013-0374-1
- By:
- Publication type:
- Article
5
Visions of Henkin.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2123, doi. 10.1007/s11229-013-0389-7
- By:
- Publication type:
- Article
6
A classification of certain group-like FL $$_e$$ -chains.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2095, doi. 10.1007/s11229-014-0409-2
- By:
- Publication type:
- Article
7
The relativity and universality of logic.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 1939, doi. 10.1007/s11229-014-0419-0
- By:
- Publication type:
- Article
8
Proof verification and proof discovery for relativity.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2077, doi. 10.1007/s11229-014-0424-3
- By:
- Publication type:
- Article
9
Probabilities defined on standard and non-standard cylindric set algebras.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2025, doi. 10.1007/s11229-014-0444-z
- By:
- Publication type:
- Article
10
Motion and observation in a single-particle universe.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2261, doi. 10.1007/s11229-014-0489-z
- By:
- Publication type:
- Article
11
A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 1989, doi. 10.1007/s11229-014-0502-6
- By:
- Publication type:
- Article
12
The equational theories of representable residuated semigroups.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2151, doi. 10.1007/s11229-014-0513-3
- By:
- Publication type:
- Article
13
Axiomatizing relativistic dynamics using formal thought experiments.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2183, doi. 10.1007/s11229-014-0545-8
- By:
- Publication type:
- Article
14
On the epistemological significance of the hungarian project.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2035, doi. 10.1007/s11229-014-0608-x
- By:
- Publication type:
- Article
15
Neat embeddings as adjoint situations.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2223, doi. 10.1007/s11229-013-0344-7
- By:
- Publication type:
- Article
16
Does branching explain flow of time or the other way around?
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2273, doi. 10.1007/s11229-014-0638-4
- By:
- Publication type:
- Article
17
Complexity of equational theory of relational algebras with standard projection elements.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2159, doi. 10.1007/s11229-015-0689-1
- By:
- Publication type:
- Article
18
Rational evaluation in belief revision.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2311, doi. 10.1007/s11229-015-0802-5
- By:
- Publication type:
- Article
19
The machine as data: a computational view of emergence and definability.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 1955, doi. 10.1007/s11229-015-0803-4
- By:
- Publication type:
- Article
20
Logic and relativity theory.
- Published in:
- 2015
- By:
- Publication type:
- Editorial