on a tableaux method for a synthetic term logic

Combining logics is usually done with respect to Fregean-Tarskian-Kripkean systems, but since logic does not need to be restricted to this received view of logic, in this work we reproduce a synthetic logic of terms à la Sommers together with a tableaux proof method, and we show some of its metatheo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Signos filosóficos 2023-12, Vol.25 (50), p.120-154
1. Verfasser:	Castro-Manzano, J.-Martín
Format:	Artikel
Sprache:	spa
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!