QLETF+ is a quantified logic of evidence and truth that satisfies replacement, admits conjunctive/disjunctive/prenex normal forms, and has a sound and complete deductive system relative to its six-valued first-order semantics.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
QLETF+ is a quantified logic of evidence and truth that satisfies replacement, admits conjunctive/disjunctive/prenex normal forms, and has a sound and complete deductive system relative to its six-valued first-order semantics.