# DISTANCES BETWEEN FORMAL THEORIES

@article{Khaled2020DISTANCESBF, title={DISTANCES BETWEEN FORMAL THEORIES}, author={Mohamed Khaled and G. Sz{\'e}kely and K. Lefever and Mich{\`e}le Friend}, journal={The Review of Symbolic Logic}, year={2020}, volume={13}, pages={633 - 654} }

Abstract In the literature, there have been several methods and definitions for working out whether two theories are “equivalent” (essentially the same) or not. In this article, we do something subtler. We provide a means to measure distances (and explore connections) between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is… Expand

#### Topics from this paper

#### 4 Citations

On Generalization of Definitional Equivalence to Non-Disjoint Languages

- Mathematics, Computer Science
- J. Philos. Log.
- 2019

Few-Shot Induction of Generalized Logical Concepts via Human Guidance

- Medicine, Computer Science
- Frontiers in Robotics and AI
- 2020

#### References

SHOWING 1-10 OF 39 REFERENCES

Properties Preserved under Definitional Equivalence and Interpretations

- Mathematics, Computer Science
- Math. Log. Q.
- 1978

Mutual definability does not imply definitional equivalence, a simple example

- Computer Science, Mathematics
- Math. Log. Q.
- 2005

On Generalization of Definitional Equivalence to Non-Disjoint Languages

- Mathematics, Computer Science
- J. Philos. Log.
- 2019