AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC

Monoidal t-norm based logic $\mathbf {MTL}$ is the weakest t -norm based residuated fuzzy logic, which is a $[0,1]$ -valued propositional logical system having a t-norm and its residuum as truth function for conjunction and implication. Monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ that con...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The review of symbolic logic 2023-10, p.1-27
Hauptverfasser:	WANG, JUNTAO, WU, HONGWEI, HE, PENGFEI, SHE, YANHONG
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!