International peer-reviewed publications
Distances between formal theories
- Mohamed Khaled, Gergely Székely, Koen Lefever and Michèle Friend
- Published in The Review of Symbolic Logic, Volume 14 Issue 3 pages 633-654, September 2020 (online 04 October 2019)
- DOI: 10.1017/S1755020319000558
- Preprint:
- Cited in:
- One-Shot Induction of Generalized Logical Concepts via Human Guidance (arXiv:1912.07060) by Mayukh Das, Nandini Ramanan, Janardhan Rao Doppa & Sriraam Natarajan (2019)
- Human-Allied Efficient and Effective Learning in Noisy Domains by Mayukh Das (2019)
- Two-variable logic has weak, but not strong, Beth definability (arXiv:2010.00901) by Hajnal Andréka & István Németi (2020)
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
- Algebras of Concepts and Their Networks by Mohamed Khaled and Gergely Székely (2021)
On Generalization of Definitional Equivalence to Non-Disjoint Languages
- Koen Lefever and Gergely Székely
- Published by the Journal of Philosophical Logic, Volume 48 Issue 4 pages 709-729, 30 August 2019, Print ISSN: 0022-3611 (Online ISSN: 1573-0433, First Online: 24 October 2018)
- DOI: 10.1007/s10992-018-9491-0
- Postprint (PDF): post-peer-review, pre-copyedit version
- Preprint:
- Cited in:
- Testing definitional equivalence of theories via automorphism groups by Hajnal Andréka, István Németi, Judit Madarász and Gergely Székely (2022)
- Theoretical Equivalence in Physics by James Owen Weatherall (2018)
- Why Not Categorical Equivalence by James Owen Weatherall (2018)
Comparing Classical And Relativistic Kinematics In First-Order Logic
- Koen Lefever and Gergely Székely
- Published in Logique et Analyse, ISSN: 2295-5836, p. 57-117, Vol 61, Nº 241 (2018)
- DOI: 10.2143/LEA.241.0.3275105
- Preprint:
- Cited in:
- Definable Categorical Equivalence by Laurenz Hudetz (2018)
- Theoretical Equivalence in Physics by James Owen Weatherall (2019)
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
- Algebras of Concepts and Their Networks by Mohamed Khaled and Gergely Székely (2021)
Book chapter
Égalité: Symbolen in de Logika en in de Vrijmetselarij
(Equality: Symbols in Logic and in Freemasonry)
- Koen Lefever
- Published in: Bart Van Kerkhove, Karen François, Steffen Ducheyne, and Patrick Allo (editors) "Laat ons niet ernstig blijven ∞ Huldeboek voor Jean Paul Van Bendegem" (Liber amicorum for Prof. Dr. Em. Jean Paul Van Bendegem), pp. 209-223, Academia Press, Ghent (2018)
- ISBN: 978 94 014 5589 3
- Download PDF (in Dutch)
PhD Dissertation
Using Logical Interpretation and Definitional Equivalence to Compare Classical Kinematics and Special Relativity Theory
- Koen Lefever
- Vrije Universiteit Brussel (2017)
- Supervisors: prof. dr. Jean Paul Van Bendegem and dr. Gergely Székely
- Download dissertation as PDF
- Cited in:
- Investigations of isotropy and homogeneity of spacetime in first-order logic by Judit X. Madarász, Mike Stannett and Gergely Székely in Annals of Pure and Applied Logic, Volume 173, Issue 9, October–November 2022
- Mathematical Theories as Models by Michèle Friend in: Humanizing Mathematics and its Philosophy; Essays Celebrating the 90th Birthday of Reuben Hersh, editor: Baharath Sriraman, Birkhäuser (2017)
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
Master's Thesis
Logische en ontologische aspekten van ruimte en tijd in axiomatieken voor de speciale relativiteitstheorie
(Logical and ontological aspects of space and time in axiom systems for special relativity theory)
- Koen Lefever
- Vrije Universiteit Brussel (2004)
- Supervisor: prof. dr. Jean Paul Van Bendegem
- Download PDF (in Dutch)
