Showing math.LOShow all
2 papers · 1 filter
math.LO2025
On variable non-dependence of first-order formulas
Koen Lefever, Gergely Székely
In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula d…
math.LO2018
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…