29 citations · 45 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 29 cited
Distances between formal theories
Michèle Friend, Mohamed Khaled, Koen Lefever +1
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something…
math.LO2018★ 9 cited
On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
Koen Lefever, Gergely Székely
For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson intro…