On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Gentzen relations associated with finite-valued logics preserving degrees of truth |
scientific article |
Statements
On Gentzen relations associated with finite-valued logics preserving degrees of truth (English)
0 references
23 September 2013
0 references
The author describes the content of the article in a clear and compact way, and hence we quote the abstract: When considering \(m\)-sequents, it is always possible to obtain an \(m\)-sequent calculus VL for every \(m\)-valued logic (defined from an arbitrary finite algebra \(L\) of cardinality \(m\)) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra \(L\) has a reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far.
0 references
algebraic logic
0 references
Gentzen system
0 references
Gentzen relation
0 references
logics preserving degrees of truth
0 references
distributive lattices
0 references
pseudocomplemented distributive lattices
0 references