Variant quantifiers in L3-valued first-order logic

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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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 soundness and completeness theorems will be proved.
ISSN:2095-2228
2095-2236
DOI:10.1007/s11704-020-7399-7