Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules

  1. Méndez, J.M.
  2. Robles, G.
  3. Salto, F.
Revue:
Logique et Analyse

ISSN: 0024-5836

Année de publication: 2011

Volumen: 54

Número: 215

Pages: 343-358

Type: Article