Pivotal and Pivotal-discriminative Consequence Relations - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2005

Pivotal and Pivotal-discriminative Consequence Relations

Résumé

In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequence relations, i.e. those relations that can be defined by a pivot (in the style of e.g. D.~Makinson). A pivot is a fixed subset of valuations which are considered to be the important ones in the absolute sense. We worked with a general notion of valuation that covers e.g. the classical valuations as well as certain kinds of many-valued valuations. In the many-valued cases, pivotal consequence relations are paraconsistant (in addition to be plausible), i.e. they are capable of drawing reasonable conclusions which contain contradictions. We will provide in our general framework syntactic characterizations of several families of pivotal relations. In addition, we will provide, again in our general framework, characterizations of several families of pivotal discriminative consequence relations. The latter are defined exactly as the plain version, but contradictory conclusions are rejected. We will also answer negatively a representation problem that was left open by Makinson. Finally, we will put in evidence a connexion with X-logics from Forget, Risch, and Siegel. The motivations and the framework of the present paper are very close to those of a previous paper of the author which is about preferential consequence relations.
Fichier principal
Vignette du fichier
PivotalBennaim7.pdf (245.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00009210 , version 1 (29-09-2005)
hal-00009210 , version 2 (06-02-2006)
hal-00009210 , version 3 (01-03-2006)
hal-00009210 , version 4 (19-06-2006)
hal-00009210 , version 5 (03-04-2007)
hal-00009210 , version 6 (08-04-2007)

Identifiants

Citer

Jonathan Ben-Naim. Pivotal and Pivotal-discriminative Consequence Relations. Journal of Logic and Computation, 2005, Volume 15 (number 5), pp.679-700. ⟨10.1093/logcom/exi030⟩. ⟨hal-00009210v5⟩
83 Consultations
145 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More