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.
Journal:
Logique et Analyse

ISSN: 0024-5836

Year of publication: 2011

Volume: 54

Issue: 215

Pages: 343-358

Type: Article