Ticket Entailment is decidable

Pré-Publication, Document De Travail Année : 2010

(1)

Vincent Padovani

Preuves, Programmes et Systèmes

We answer positively a question raised by Anderson and Blenap by proving that the implicational fragment of entailment is decidable.

relevance logic ticket entailment decidability

Logique en informatique [cs.LO]

Fichier principal

entailment_padovani_2010.pdf (523.76 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00599342

Soumis le : lundi 11 juillet 2011-17:53:03

Dernière modification le : vendredi 24 mars 2023-14:52:54

Archivage à long terme le : mercredi 12 octobre 2011-02:26:34

hal-00599342 , version 1 (09-06-2011)

hal-00599342 , version 2 (08-07-2011)

hal-00599342 , version 3 (11-07-2011)

hal-00599342 , version 4 (19-12-2011)

hal-00599342 , version 5 (19-03-2012)

hal-00599342 , version 6 (05-07-2012)

Vincent Padovani. Ticket Entailment is decidable. 2010. ⟨hal-00599342v3⟩

PPS

163 Consultations

267 Téléchargements