Preferential and Preferential-discriminative Consequence relations
Résumé
The theory of preferential consequence relations (where copies of valuations serve as the terms of the preference relation) has been investigated extensively in the classical context. The first purpose of the present paper is to extend the theory to certains three/four-valued contexts, well-known as the paraconsistent logics J3 and FOUR. We give characterizations of some families in these two contexts. Our second and main purpose is to investigate a qualified version of preferential consequence, which we call preferential-discriminative consequence. This is defined to hold between a set of formulas T and formula A iff T |~ A but not T |~ neg A, where |~ is the plain relation. We provide characterizations of some families of such relations in the classical, three, and four-valued contexts.