DISTANCES BETWEEN FORMAL THEORIES

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 tw...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The review of symbolic logic 2020-09, Vol.13 (3), p.633-654
Hauptverfasser:	KHALED, MOHAMED, SZÉKELY, GERGELY, LEFEVER, KOEN, FRIEND, MICHÈLE
Format:	Artikel
Sprache:	eng
Schlagworte:	Classification Investigations Kinematics Logic Philosophy of science Physics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!