On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures

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 introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lefever, Koen, Székely, Gergely
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!