|previous article in this issue||next article in this issue|
Document Details :
Title: Transparent Truth-Value Predicates in Multi-Valued Logics
Author(s): FRANCEZ, Nissim , KAMINSKI, Michael
Journal: Logique et Analyse
Volume: 245 Date: 2019
The paper defines truth-value assignment predicates Ti(ϕ) in multi-valued logics, generalising the classical truth-predicate T(ϕ) The meaning of this predicate is that ϕ has the truth-value vi. The paper studies deflational truth-value assignments and their transparency in the form of natural-deduction proof-system. The main technical tool used is poly-sequents of the form Γ1|∙∙∙|Γn:Δ1|∙∙∙|Δn, interpreted as follows: if for every 1 ≤ i ≤ n every α ∈ Γi has truth value vi, then for some 1 ≤ j ≤ n, β ∈ Δj has truth-value vj. The paper proposes a way to identify real truth and real falsity among the n truth-values.