Publicaciones en colaboración con investigadores/as de Universidad de La Laguna (9)

2011

  1. A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism

    Logic Journal of the IGPL, Vol. 19, Núm. 1, pp. 18-32

2010

  1. A routley-meyer type semantics for relevant logics including Br plus the disjunctive syllogism

    Journal of Philosophical Logic, Vol. 39, Núm. 2, pp. 139-158

  2. Axiomatizing S4+ and J+ without the suffixing, prefixing and self-distribution of the conditional axioms

    Bulletin of the Section of Logic, Vol. 39, Núm. 1-2, pp. 79-91

  3. Paraconsistent logics included in Lewis' S4

    Review of Symbolic Logic, Vol. 3, Núm. 3, pp. 442-466

2009

  1. Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency

    Journal of Logic, Language and Information, Vol. 18, Núm. 3, pp. 357-402

  2. The basic constructive logic for absolute consistency

    Journal of Logic, Language and Information, Vol. 18, Núm. 2, pp. 199-216

  3. The basic constructive logic for weak consistency and the reductio axioms

    Bulletin of the Section of Logic, Vol. 38, Núm. 1-2, pp. 61-76

2008

  1. Relevance logics and intuitionistic negation

    Journal of Applied Non-Classical Logics, Vol. 18, Núm. 1, pp. 49-65

  2. The basic constructive logic for a weak sense of consistency defined with a propositional falsity constant

    Logic Journal of the IGPL, Vol. 16, Núm. 1, pp. 33-41