Publicaciones - Publications

Artículos - Articles

2006 - 2011:

MÉNDEZ, J. M., ROBLES, G., SALTO, F., “Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules”, Logique et Analyse (aceptado).

MÉNDEZ, J. M., ROBLES, G., SALTO, F., “A general class of logical matrices for the variable-sharing property” (abstract), Bulletin of Symbolic logic (aceptado).

ROBLES, G., MÉNDEZ, J. M., "A general characterization of the variable-sharing property by means of logical matrices", Notre Dame Journal of Formal Logic (aceptado).

ROBLES, G., SALTO, F., MÉNDEZ, J. M., "A weak logic with the axiom mingle with the variable-sharing property”, Bulletin of the Section of Logic (aceptado).

ROBLES, G., MÉNDEZ J. M., "A class of simpler logical matrices for the variable-sharing property”, Logic and Logical Philosophy Vol. 20 No. 3, 241–249, 2011.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Ticket Entailment plus the mingle axiom has the variable-sharing property", Logic Journal of the IGPL, doi: 10.1093/jigpal/jzr046, 2011.

ROBLES, G., MÉNDEZ, J. M., "A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism", Logic Journal of the IGPL, 19(1): 18-32, 2011.

MÉNDEZ, J. M., "Erratum to: The Compatibility of Relevance and Mingle", Journal of Philosophical Logic 39 No. 3, 339, DOI: 10.1007/s10992-010-9132-8, 2010.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., Paraconsistency and consistency understood as the absence of the negation of any implicative theorem (abstract), Bulletin of Symbolic Logic 16/1, 127, 2010.

ROBLES, G., MÉNDEZ J. M., "Paraconsistent logics included in Lewis’ S4", Review of Symbolic Logic 3/3, 442-446, 2010.

ROBLES, G., MÉNDEZ J. M., Axiomatizing S4+ and J+ without the suffixing, Prefixing and self-distribution of the conditional axioms, Bulletin of the Section of Logic 39/1-2, 79-92, 2010.

ROBLES, G., MÉNDEZ, J. M., A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism, Journal of Philosophical Logic 39, 139-158, 2010.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., “A modal restriction of R-Mingle with the variable-sharing property”, Logic and Logical Philosophy, 19, 341-351, 2010.

MÉNDEZ, J. M., "A Routley-Meyer semantics for Ackermann's logics of 'strenge Implikation'", Logic and Logical Philosophy 18, 191-219, 2009.

MÉNDEZ, J. M., ROBLES, G., "The basic constructive logic for absolute consistency", Journal of Logic Language and Information 18/2, 199-216, 2009.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Semantics for relevant logics plus the disjunctive syllogism" (abstract), Bulletin of Symbolic Logic 15/1, 123-124, 2009.

ROBLES, G., MÉNDEZ, J. M., "Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency", Journal of Logic, Language and Information, 18/3, 357-402, 2009.

ROBLES, G., MÉNDEZ, J. M., The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 38/1-2, 61-76, 2009.

ROBLES, G., MÉNDEZ, J. M., "The concept of strong F-paraconsistency" (abstract), Bulletin of Symbolic Logic, 15/3, 375, 2009.

MÉNDEZ, J. M., ROBLES, G., "Relevance logics and intuitionistic negation", Journal of Applied Non-Classical Logics, 18/1, 49-65, 2008.

ROBLES, G., MÉNDEZ, J. M., "The basic constructive logic for a weak sense of consistency", Journal of Logic Language and Information, 17/1, 89-107, 2008.

ROBLES, G., MÉNDEZ, J. M., "The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant", Logic Journal of the IGPL 16/1, 33-41, 2008.

ROBLES, G., MÉNDEZ, J. M., "The concept of strong F-paraconsistency" (abstract), CLE e-prints, 8 (6), 1-3, 2008.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Relevance logics and intuitionistic negation" (abstract), Bulletin of Symbolic Logic 14/1, 147, 2008.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., "Exhaustively axiomatizing S3o-> and S4o->", Teorema XXVII/2, 79-89, 2008.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "The basic constructive logic for negation-consistency defined with a propositional falsity constant", Bulletin of the Section of Logic, 36/1-2, 45-58, 2007.

MÉNDEZ, J. M., SALTO, F., ROBLES, G., "El sistema Bp+: una lógica positiva mínima para la negación mínima", Theoria 58, 22/1, 81-91, 2007.

ROBLES, G., MÉNDEZ, J. M., "Minimal non-relevant logics without the K axiom", Reports on Mathematical Logic, No. 42, 117-144, 2007.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Relevance logics, paradoxes of consistency and the K rule", Logique et Analyse, 198, 129-145, 2007.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Relevance logics, paradoxes of consistency and the K rule" (abstract), Bulletin of Symbolic Logic, 13, No. 2, 286, 2007.

MÉNDEZ, J. M., ROBLES, G., "Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation", Logic and Logical Philosophy, 15, 175-191, 2006.

ROBLES, G., MÉNDEZ, J. M., "Converse Ackermann Property and constructive negation defined with a negation connective", Logic and Logical Philosophy, 15, 113-130, 2006.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., "A constructive negation defined with a negation connective for logics including Bp+" (abstract), Bulletin of Symbolic Logic, 12 No. 2, 344, 2006.

Artículos en vías de publicación - Forthcoming papers

ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Simplifying the Routley-Meyer semantics for E_{t}"

2000 - 2005:

ROBLES, G., MÉNDEZ, J. M., "A constructive negation for logics including TW+", Journal of Applied Non-Classical Logics, 15 No. 4, 389-404, 2005.

ROBLES, G., MÉNDEZ, J. M., "Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant", Logique et Analyse, 189-192, 87-100, 2005.

ROBLES, G., MÉNDEZ, J. M., "Converse Ackermann Property and constructive negation defined with a negation connective" (abstract), Bulletin of Symbolic Logic, 11 No.2, 292-293, 2005.

ROBLES, G., MÉNDEZ, J. M., "Two versions of minimal intuitionism with the CAP", Theoria, 20: 53, 183-190, 2005.

ROBLES, G., MÉNDEZ, J. M., "Relational ternary semantics for a logic equivalent to Involutive Monoidal t-norm based logic IMTL", Bulletin of the Section of Logic, 34/2, 101-116, 2005.

ROBLES, G., MÉNDEZ, J. M., "Converse Ackermann Property and minimal negation", Teorema, 24/1, 5-12, 2005.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., “Minimal negation in the ternary relational semantics”, Reports on Mathematical Logic, 39, 47-65, 2005.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., "A constructive negation defined with a negation connective for logics including Bp+", Bulletin of the Section of Logic, 34/3, 177-190, 2005.

ROBLES, G., MÉNDEZ, J. M., "The logic B and the reductio axioms", Bulletin of the Section of Logic, 33/2, 87-94, 2004.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., MÉNDEZ R., P., "Intuitionistic Propositional Logic with the Converse Ackermann Property", Teorema, 22/1-2, 43-54, 2003.

MÉNDEZ, J. M., SALTO, F., MÉNDEZ R., P., "Four kinds of Subminimal Negation Within the Context of the Basic Positive Logic B+", Logique et Analyse, 45, 177-178, 2002.

ROBLES, G., MÉNDEZ, J. M., "Exhaustively Axiomatizing Eo-> and Ro->", Online Logical Studies, 9, 1-10 2002.

MÉNDEZ, J. M., SALTO, F., ROBLES, G., "Anderson and Belnap’s Minimal Implicative Logic with Minimal Negation", Reports on Mathematical Logic, 36, 117-130, 2002.

SALTO, F., ROBLES, G., MÉNDEZ, J.M., "Exhaustively Axiomatizing EMO->", Online Logical Studies, 7, 1-6, 2001.

SALTO, F., MÉNDEZ, J. M., ROBLES, G., "Restricting the Contraction Axiom in Dummett’s LC: LC with the Converse Ackermann Property", Bulletin of the Section of Logic, 30/3, 139-146, 2001.

SALTO, F., MÉNDEZ, J. M., "Lógica intuicionista en tres horas y pico", Laguna, 9, 127-150, 2001.

MÉNDEZ, J. M., SALTO, F., "Intuitionistic propositional Logic without ‘contraction’ but with ‘reductio’", Studia Logica, 66, 409-418, 2000.

SALTO, F., MÉNDEZ, J. M., "En el umbral de la computabilidad", Factótum, 1, 42-51, 2000.

1990-2000:

SALTO, F., MÉNDEZ, J. M., "Two extensions of Lewis’ S3 -> with Peirce Law", Theoria, 14, 407-411, 1999.

SALTO, F., ROBLES, G., MÉNDEZ, J. M., "Exhaustively axiomatizing RMO -> with a select list of representative theses including restricted mingle principles", Bulletin of the Section of Logic, 28, 195-206, 1999.

SALTO, F., MÉNDEZ, J. M., "More on Peirce’s Law", Bulletin of the Section of Logic, 28, 27-38, 1999.

MÉNDEZ, J. M., SALTO, F., "A natural negation completion of Urquhart’s many-valued logic C", Journal of Philosophical Logic, 27, 75-84, 1998.

MÉNDEZ, J. M., SALTO, F., "Urquhart’s C with intuitionistic negation: Dummet’s LC without the contraction axiom", Notre Dame Journal of Formal Logic, 36, 407-413, 1995.

MÉNDEZ, J. M., “"Introducción a los conceptos fundamentales de la lógica de la relevancia", Arbor, 520, 75-93 1991.

MÉNDEZ, J. M., "Exhaustively axiomatizing RMO -> with an appropiate extension of Anderson and Belnap’s 'strong and natural list of valid entailments'", Theoria, 12-13, 223-228, 1990.

MÉNDEZ, J. M., "Urquhart’s C with minimal negation", Bulletin of the Section of Logic, 19, 15-20, 1990.

1985-1989:

MÉNDEZ, J. M., "Routley-Meyer semantics for Urquhart’s C", Journal of Non-Classical Logic, 6, 41-46, 1989.

MÉNDEZ, J. M., "E-Mingle has the variable-sharing property" (abstract), Journal of Symbolic Logic, 663-664, 1989.

MÉNDEZ, J. M., "La completud de los fragmentos de la lógica proposicional clásica", Gavagai, 3, 93-104, 1988.

MÉNDEZ, J. M., "Converse Ackermann Property and semiclassical negation", Studia Logica, 47, 159-168, 1988.

MÉNDEZ, J. M., "Deduction theorems for To->, Eo->, Ro->, S4o->, and Io->", Reports on Mathematical Logic, 22, 9-13, 1988.

MÉNDEZ, J. M., "Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses", Bulletin of the Section of Logic, 17, 15-22, 1988.

MÉNDEZ, J. M. "A note on the semantics of minimal intuitionism", Logique et Analyse, 31, 371-377, 1988.

MÉNDEZ, J. M., "The compatibility of Relevance and Mingle", Journal of Philosophical Logic, 17, 279-297, 1988.

MÉNDEZ, J. M., "Constructive R", Bulletin of the Section of Logic, 16, 167-175, 1987.

MÉNDEZ, J. M., "A Routley-Meyer semantics for Converse Ackermann Property", Journal of Philosophical Lógic, 16, 65-76, 1987.

MÉNDEZ, J. M., "Axiomatizing E -> and R -> with Anderson and Belnap’s 'strong and natural' list of valid entailments.'", Bulletin of the Section of Logic, 16, 2-10, 1987.

MÉNDEZ, J. M., "Una crítica inmanente de la lógica de la relevancia", Crítica, 18, 61-94, 1986.

MÉNDEZ, J. M., "Systems with the Converse Ackermann Property", Theoria, 1, 253-258, 1985.

Libros - Books

ROBLES, G., MÉNDEZ, J. M., Consistencia débil y paraconsistencia fuerte. Publicaciones del GLF No. 1. ISBN: 978-84-692-0032-2. Salamanca, 2009. ROBLES, G., MÉNDEZ, J. M., On Defining Constructive Negation in Logics of Entailment, en Dimensions of Logical Concepts, (ed. por Jean-Yves Béziau y Alexandre Costa-Leite) Coleção CLE, volumen 54, UNICAMP, Campinas, Brazil. ISBN: 978-85-86497-05-6, 2009, 265-277.

MÉNDEZ, J.M., (ed.), Artículos de Segunda Mano, ISBN: 84-690-0408-5, Salamanca, 2006.

ALCHOURRÓN, C., MÉNDEZ, J. M. y ORAYEN, R., (eds.), Lógica, (Enciclopedia Iberoamericana de Filosofía), Trotta, Madrid, 1995.

Capítulos de libro - Chapters of books

MÉNDEZ, J. M., ROBLES, G., "Lógica de la Relevancia", en Filosofía de la Lógica (compiladora M. J. Frapolli), 255-286, Tecnos, Madrid, 2007.

MÉNDEZ, J. M., "Semántica Routley-Meyer para el espectro implicativo clásico: II. Sistemas básicos restringidos", en Artículos de Segunda Mano (editado por José M. Méndez), 19-37, ISBN: 84-690-0408-5, Salamanca, 2006.

MÉNDEZ, J. M., "Negación semiclásica para T+, V+, X+, Y+ y sus restricciones O", en Artículos de Segunda Mano (editado por José M. Méndez), 41-49, ISBN: 84-690-0408-5, Salamanca, 2006.

SALTO, F., MÉNDEZ, J. M., “Lógica intuicionista en tres horas y pico”, en Summa Logicae en el siglo XXI (compilado por M. Manzano), Ediciones Universidad de Salamanca, Salamanca 2004.

MÉNDEZ, J. M., "Lógica de la relevancia" en Lógica (C. Alchourrón, J. M. Méndez y R. Orayen ed. ), Trotta, Madrid, 237-270, 1995.

MÉNDEZ, J. M.,"La completud de los fragmentos de la lógica proposicional clásica", en Conocimiento y Acción (J. P. Ballestar, comp.), Ediciones Universidad de Salamanca, Salamanca, 177-188, 1990.

MÉNDEZ, J. M., "El sistema de implicación analítica de Parry y un nuevo sistema de la implicación", en Análisis y Síntesis (J. P. Ballestar, ed.). Ediciones Universidad de Salamanca, Salamanca, 293-306, 1984.

MÉNDEZ, J. M., "Un teorema sobre la axiomatización de C.W", en Estudios de Lógica y Filosofía de la Ciencia (M. A. Quintanilla, comp.) Ediciones Universidad de Salamanca, Salamanca, 49-63, 1982

Actas de congresos - Proceedings of congressses

MÉNDEZ, J. M., ROBLES, G., "La regla /delta, /pi^{prime} y E", Actas del Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010 (Ed. A. Jaume, M. Liz, D. Pérez Chico, M. Ponte, M. Vázquez), pp. 125-126, Puerto de la Cruz, octubre, 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

SALTO, F., MÉNDEZ, J. M., "Peirce cleaner through", Proceedings of the first international workshop on "The History and Philosophy of Logic, Mathematics and Computation", Instituto de Lógica, Cognición, Lenguaje e Información (ILCLI), 209-217, San Sebastián, 2000.

MÉNDEZ, J. M., "El espectro implicativo clásico: primera aproximación", Actes del IV Congrés Catalá de Lógica, 83-87, Barcelona, 1986.

MÉNDEZ, J. M., "Axiomatizamos exhaustivamente Eo-> y Ro-> con un selecto grupo de tesis características", Actas del III Congreso de Lenguajes Naturales y Lenguajes Formales, Barcelona, 627-633, Barcelona, 1988.

MÉNDEZ, J. M., "Semántica para X1 y X2", Actas del III Congreso de Lenguajes Naturales y Lenguajes Formales, 635-641, Barcelona, 1988.

MÉNDEZ, J. M., "Semántica Routley-Meyer para el espectro implicativo clásico, 1: Sistemas básicos irrestrictos", Actes del V Congrés Catalá de Lógica, 65-76, Barcelona, 1987.

GARCÍA NORIEGA, B., MÉNDEZ, J. M., "Cálculo automático de matrices para sistemas implicativos", Actas del 1 Simposio Hispano-Mexicano de Filosofía, 139-143, Salamanca, 1986.

MÉNDEZ, J. M., "La Ley de Pierce y el espectro implicativo clásico: tres observaciones y dos problemas", Actas del I Simposio Hispano-Mexicano de Filosofía, 139-143, Salamanca, 1986.

MÉNDEZ, J. M., "Relevancia y "Mingle" no son incompatibles en presencia de las funciones de verdad", Actas del I Congreso de Lenguajes Naturales y Lenguajes Formales, 376-381, Barcelona, 1986.

Otras publicaciones - Other publications

MÉNDEZ, J. M., "Restricciones implicativas de la Lógica clásica: el problema de las paradojas implicativas y los sistemas de implicación de Anderson y Belnap". (Resumen de tesis doctoral), Ediciones Universidad de Salamanca, Salamanca, 1983.

Resúmenes de artículos solicitados por el Philosopher’s Index:

"A Routley-Meyer semantics for Converse Ackermann Property".

"Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses".

" The compatibility of Relevance & Mingle".

"Deduction theorems for To->, Eo->, Ro->, S4o-> & Io->".

"Routley-Meyer type semantics for Urquhart’s C".

"Urquhart’s C with minimal negation".

"A natural negation completion of Urquhart’s many-valued logic C".

"Anderson and Belnap’s Minimal Implicative Logic with Minimal Negation".

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