Publicaciones en colaboración con investigadores/as de Universidad de Salamanca (16)

2019

  1. Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

    Journal of Applied Non-Classical Logics, Vol. 29, Núm. 3, pp. 307-325

2016

  1. An Interpretation of Łukasiewicz’s 4-Valued Modal Logic

    Journal of Philosophical Logic, Vol. 45, Núm. 1, pp. 73-87

2015

  1. Brady's Deep relevant logic DR plus the qualified factorization principles has the depth relevant condition

    Logique et Analyse, Vol. 58, Núm. 232, pp. 547-565

2014

  1. Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 303-332

2012

  1. Ticket entailment plus the mingle axiom has the variable-sharing property

    Logic Journal of the IGPL, Vol. 20, Núm. 1, pp. 355-364

2011

  1. A weak logic with the axiom mingle lacking the variable-sharing property

    Bulletin of the Section of Logic, Vol. 40, Núm. 3-4, pp. 195-202

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

    Logique et Analyse, Vol. 54, Núm. 215, pp. 343-358

2007

  1. The basic constructive logic for negation-consistency defined with a propositional falsity constant

    Bulletin of the Section of Logic, Vol. 36, Núm. 1-2, pp. 45-57

2005

  1. A constructive negation defined with a negation connective for logics including BP+

    Bulletin of the Section of Logic, Vol. 34, Núm. 3, pp. 177-189

2002

  1. Four kinds of subminimal negation within the context of the basic positive logic B+

    Logique et Analyse, Vol. 45, Núm. 177-178, pp. 119-128

2001

  1. Restricting the contraction axiom in dummett's lc: A sublogic of LC with the converse ackermann property, the logic LCo

    Bulletin of the Section of Logic, Vol. 30, Núm. 3, pp. 139-146

2000

  1. Intuitionistic prepositional logic without 'contraction' but with 'reductio'

    Studia Logica, Vol. 66, Núm. 3, pp. 409-418

1999

  1. Exhaustively Axiomatizing RMO→ with a select list of representative theses including restricted mingle principles

    Bulletin of the Section of Logic, Vol. 28, Núm. 4, pp. 195-206

  2. More on Peirce's law

    Bulletin of the Section of Logic, Vol. 28, Núm. 1, pp. 27-38

1998

  1. A natural negation completion of Urquhart's many-valued logic C

    Journal of Philosophical Logic, Vol. 27, Núm. 1, pp. 75-84

1995

  1. Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom

    Notre Dame Journal of Formal Logic, Vol. 36, Núm. 3, pp. 407-413