Items where Author is "Lefever, Koen"
Group by: Item Type | No Grouping Number of items: 4. Lefever, Koen and Székely, Gergely (2025) On variable non-dependence of first-order formulas. [Preprint] Lefever, Koen and Székely, Gergely (2018) On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures. [Preprint] Friend, Michèle and Khaled, Mohamed and Lefever, Koen and Székely, Gergely (2018) Distances between formal theories. [Preprint] Lefever, Koen and Székely, Gergely (2017) Comparing classical and relativistic kinematics in first-order logic. [Preprint] |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}