Variant quantifiers in L3-valued first-order logic

Traditional first-order logic has four definitions for quantifiers, which are defined by universal and existential quantifiers. In L 3 -valued (three-valued) first-order logic, there are eight kinds of definitions for quantifiers; and corresponding Gentzen deduction systems will be given and their s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Frontiers of Computer Science 2021-10, Vol.15 (5), p.155403, Article 155403
Hauptverfasser:	Li, Wei, Sui, Yuefei
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Logic Research Article Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!