On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems

Eight categorical soundness and completeness theorems are established within the framework of algebraic theories. Exactly six of the eight deduction systems exhibit complete semantics within the cartesian monoidal category of sets. The multicategorical meta-theorem via soundness and completeness ena...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-06
1. Verfasser:	sman, David
Format:	Artikel
Sprache:	eng
Schlagworte:	Cartesian coordinates Completeness Context Semantics Theorems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!