FRANCISCO
SALTO ALEMANY
Catedrático de Universidad
José Manuel
Méndez Rodríguez
Publications dans lesquelles il/elle collabore avec José Manuel Méndez Rodríguez (23)
2019
-
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
-
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic
Journal of Philosophical Logic, Vol. 45, Núm. 1, pp. 73-87
2015
-
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
-
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
-
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
-
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
-
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
-
Exhaustively axiomatizing S3º and S4º
Teorema: Revista internacional de filosofía, Vol. 27, Núm. 2, pp. 79-89
2007
-
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
-
Relevance logics, paradoxes of consistency and the K rule
Logique et Analyse, Vol. 50, Núm. 198, pp. 129-145
-
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
-
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
-
Lógica intuicionista en tres horas (y pico)
Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)
2002
-
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
-
Lógica intuicionista en tres horas (y pico)
Laguna: Revista de Filosofía, Núm. 9, pp. 127-150
-
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
-
En el umbral de la computabilidad
Factótum: Revista de filosofía, Núm. 1, pp. 42-51
-
Intuitionistic prepositional logic without 'contraction' but with 'reductio'
Studia Logica, Vol. 66, Núm. 3, pp. 409-418
1999
-
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
-
More on Peirce's law
Bulletin of the Section of Logic, Vol. 28, Núm. 1, pp. 27-38