Publicaciones en las que colabora con Francisco Salto Alemany (23)

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

2008

  1. Exhaustively axiomatizing S3º and S4º

    Teorema: Revista internacional de filosofía, Vol. 27, Núm. 2, pp. 79-89

2007

  1. El sistema Bp+: una lógica positiva mínima para la negación mínima

    Theoria: an international journal for theory, history and foundations of science, Vol. 22, Núm. 58, pp. 81-92

  2. Relevance logics, paradoxes of consistency and the K rule

    Logique et Analyse, Vol. 50, Núm. 198, pp. 129-145

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

2004

  1. Lógica intuicionista en tres horas (y pico)

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

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. Lógica intuicionista en tres horas (y pico)

    Laguna: Revista de Filosofía, Núm. 9, pp. 127-150

  2. 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. En el umbral de la computabilidad

    Factótum: Revista de filosofía, Núm. 1, pp. 42-51

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