Valuations: bi, tri, and tetra (Q2278844)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Valuations: bi, tri, and tetra |
scientific article |
Statements
Valuations: bi, tri, and tetra (English)
0 references
11 December 2019
0 references
This paper aims to present a systematic overview on valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Galois connections between sets of valuations and sets of arguments are introduced and their associated closure operations. Sets of arguments and sets of valuations are characterized that are closed with regard to this closure operations. Finally the effects of adding connectives to the language are considered. A sound but partial complete sequent calculus is presented. From the conclusion of the paper we quote: ``Attending to the Galois connections between sets of arguments and sets of valuations has proved useful in a range of applications to logics that are reflexive, monotonic, and completely transitive, which can all be handled through the lens of bivaluations. In this paper, it is shown how to extend this toolkit to logics that might fail to be reflexive or completely transitive or both, by adding up to two more values to the valuations. Finally, the behaviour of connectives witnessing the bilattice structure of the resulting tetravaluations is considered.''
0 references
valuational semantics
0 references
nonreflexive logic
0 references
nontransitive logic
0 references
0 references
0 references