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

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. A note on the non-involutive routley star

    Bulletin of the Section of Logic, Vol. 37, Núm. 1, pp. 19-27

  2. Extensions of the basic constructive logic for negation-consistency BKc4 defined with a falsity constant

    Logique et Analyse, Vol. 51, Núm. 201, pp. 57-80

  3. Relevance logics and intuitionistic negation

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

  4. 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

  5. The basic constructive logic for absolute consistency defined with a propositional falsity constant

    Logic Journal of the IGPL, Vol. 16, Núm. 3, pp. 275-291