Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L 3 -valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Frontiers of Computer Science 2021-06, Vol.15 (3), p.153401, Article 153401
Hauptverfasser:	Cao, Cungen, Hu, Lanxi, Sui, Yuefei
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Logic Research Article Semantics Variables
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!