The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}

In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic ${\cal G} \forall_{\sim}$ defined by F. Esteva, L. Godo, P. H\'ajek and M. Navara in Residuated fuzzy logics with an involutive negation, Archive for Mathematical Lo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Castaño, Diego, Castaño, Valeria, Varela, José Patricio Díaz, Santis, Marcela Muñoz
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!