Publications
Articles
MÉNDEZ J. M., "A quasi-relevant, connexive 4-valued implicative expansion of Belnap-Dunn logic defining material connexive logic MC", Australasian Journal of Logic, Special issue celebrating the work of Ross Brady (S. Logan, Guest Ed.). Forthcoming.
ROBLES, G. MÉNDEZ, J. M., "A variety of De Morgan negations in relevant logics", Australasian Journal of Logic, Special Issue on Valerie Plumwood’s Contributions to Logic (A. Tedder and G. Badía, Guest Eds.), 20(2), 348-374, 2023 https://ojs.victoria.ac.nz/ajl/article/view/8311/7379
ROBLES, G., MÉNDEZ, J. M., "The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer’s basic logic B^{d}", Logic Journal of the IGPL, Logic Journal of the IGPL, jzad005, Advance article, 2023. https://doi.org/10.1093/jigpal/jzad005
ROBLES G., MÉNDEZ, J. M., "A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable", Journal of Philosophical Logic, 52, 915-938, 2023. https://doi.org/10.1007/s10992-022-09692-2
ROBLES G., MÉNDEZ, J. M., "A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4", Logic Journal of the IGPL, 31(3), 475-482 , 2023. https://doi.org/10.1093/jigpal/jzac045
— ROBLES G., MÉNDEZ, J. M., "Erratum to “A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4”", Logic Journal of the IGPL, jzad004, 2023, https://doi.org/10.1093/jigpal/jzad004
ROBLES G., MÉNDEZ, J. M., "A 2 set-up binary Routley semantics for Gödelian 3-valued logic G3 and its paraconsistent counterpart G3_{\ L}^{\leq}", Bulletin of the Section of Logic, 51(4), 487-505, 2022. https://doi.org/10.18778/0138-0680.2022.20
ROBLES, G., MÉNDEZ, J. M., "A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic", Logic Journal of the IGPL, 30(1), 21-33, 2022. https://doi.org/10.1093/jigpal/jzaa028
ROBLES, G., MÉNDEZ, J. M., "A 2 set-up Routley-Meyer semantics for the 4-valued logic PŁ4", Journal of Applied Logics —IfCoLog Journal of Logics and their Applications, 8(10), 2435-2446, 2021. www.collegepublications.co.uk/downloads/ifcolog00052.pdf
ROBLES, G., MÉNDEZ, J. M., "Basic quasi-Boolean expansions of relevance logics", Journal of Philosophical Logic, 50, 727-754, 2021. https://doi.org/10.1007/s10992-020-09583-4
ROBLES, G., MÉNDEZ, J. M., "A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3", Journal of Logic, Language and Information, 30, 533-556, 2021. https://doi.org/10.1007/s10849-021-09336-9
ROBLES, G., MÉNDEZ, J. M., "A note on Gödel-Dummett logic LC", Bulletin of the Section of Logic, 50(3), 325-335, 2021. https://doi.org/10.18778/0138-0680.2021.15
ROBLES, G., MÉNDEZ, J. M., "Natural implicative expansions of variants of Kleene’s strong 3-valued logic with Gödel-type and dual Gödel-type negation", Journal of Applied Non-Classical Logics, 31(2), 130-153, 2021. https://doi.org/10.1080/11663081.2021.1948285
ROBLES, G., MÉNDEZ, J. M., "A basic dual intuitionistic logic and some of its extensions included in G3_{DH}", Journal of Logic, Language and Information, 30, 117-138, 2021. https://doi.org/10.1007/s10849-020-09321-8
ROBLES, G., MÉNDEZ, J. M., "The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz’s 3-valued Logic Ł3", Journal of Logic, Language and Information, 29(3), 349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2
ROBLES, G., MÉNDEZ, J. M., "Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values", Journal of Applied Non-Classical Logics, 29(1), 37-63, 2019. https://doi.org/10.1080/11663081.2018.1534487
ROBLES, G., MÉNDEZ, J. M., "Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value", Logic Journal of the IGPL, 27(6), 910-932, 2019. https://doi.org/10.1093/jigpal/jzz021
ROBLES, G., SALTO, F., MÉNDEZ, J. M., "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, 29(3), 307-325, 2019. https://doi.org/10.1080/11663081.2019.1644079
MÉNDEZ, J. M., ROBLES, "The logic determined by Smiley's matrix for Anderson and Belnap's First Degree Entailment Logic", Journal of Applied Non-Classical Logics, 26(1), 47-68, 2016. https://doi.org/10.1080/11663081.2016.1153930
MÉNDEZ, J. M., ROBLES, "Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators", Journal of Logic, Language and Information, 25(2), 163-189, 2016. https://doi.org/10.1007/s10849-016-9237-8
MÉNDEZ, J. M., ROBLES, G., SALTO, F., "An interpretation of Łukasiewicz's 4-valued modal logic", Journal of Philosophical Logic, 45 (1), 73-87, 2016. https://doi.org/10.1007/s10992-015-9362-x
ROBLES, G., MÉNDEZ, J. M., "A companion to Brady’s 4-valued relevant logic BN4: The 4-valued logic of entailment E4", Logic Journal of the IGPL, 24(5), 838-858, 2016. https://doi.org/10.1093/jigpal/jzw011
MÉNDEZ, J. M., ROBLES, "A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes", Logica Universalis, 9, 501-522, 2015. https://doi.org/10.1007/s11787-015-0130-z
MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Brady’s deep relevant logic DR plus the qualified factorization principles has the depth relevance condition", Logique et Analyse, 232, 547-565, 2015. https://doi.org/10.2143/LEA.232.0.3144298
ROBLES, G., MÉNDEZ, J. M., "A binary Routley semantics for intuitionistic De Morgan minimal logic H_{M} and its extensions", Logic Journal of the IGPL, 23 (2), 174-193, 2015. https://doi.org/10.1093/jigpal/jzu029
ROBLES, G., MÉNDEZ, J. M., "The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points", Journal of Applied Non-Classical Logics, 24 (4), 321-332, 2014. https://doi.org/10.1080/11663081.2014.972306
ROBLES, G., MÉNDEZ, J. M., Blocking the routes to triviality with depth relevance, Journal of Logic Language and Information, 23 (4), 493-526, 2014. https://doi.org/10.1007/s10849-014-9199-7
ROBLES, G., MÉNDEZ, J. M., Generalizing the depth relevance condition. Deep relevant logics not included in R-Mingle, Notre Dame Journal of Formal Logic, 55 (1), 107-127, 2014.
ROBLES, G., MÉNDEZ, J. M., Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance, Studia Logica, 102 (1), 185-217, 2014. https://doi.org/10.1007/s11225-013-9471-x
ROBLES, G., MÉNDEZ, J. M., A Routley-Meyer semantics for truth preserving and well-determined Lukasiewicz 3-valued logics, Logic Journal of the IGPL, 22 (1), 1-23, 2014. https://doi.org/10.1093/jigpal/jzt017
ROBLES, G., SALTO, F. MÉNDEZ, J. M., "Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3", Journal of Philosophical Logic, 43 (2-3), pp. 303-332, 2014. https://doi.org/10.1007/s10992-012-9264-0
ROBLES, G., MÉNDEZ, J. M., A paraconsistent 3-valued logic related to Gödel logic G3, Logic Journal of the IGPL, 22 (4), pp. 515-538, 2014. https://doi.org/10.1093/jigpal/jzt046
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 53/2, pp. 223-244, 2012.
MÉNDEZ, J. M., ROBLES, G., SALTO, F., Ticket Entailment plus the mingle axiom has the variable-sharing property, Logic Journal of the IGPL, 20(1), 355-364, 2012.
MÉNDEZ, J. M., ROBLES, G., SALTO, F., “A general class of logical matrices for the variable-sharing property” (abstract), Bulletin of Symbolic logic 18/3, p. 457, 2012
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, 215, 343-358, 2011.
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.
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.
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.
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.
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., 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.
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., 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., "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.
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.
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.
Books
ROBLES, G., MÉNDEZ, J. M., Routley-Meyer ternary relational semantics for intuitionistic-type negations, Elsevier, 2018, ISBN: 9780081007518.
ALCHOURRÓN, C., MÉNDEZ, J. M. y ORAYEN, R., (eds.), Lógica, (Enciclopedia Iberoamericana de Filosofía), Trotta, Madrid, 1995.
Book chapters
ROBLES, G., MÉNDEZ, J. M. "The only 3‐valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic". New directions in relevant logics (A. Tedder, I. Sedlar, S. Standefer, Eds.). Trends in logic book series. Springer. (Forthcoming.)
ROBLES, G., MÉNDEZ, J. M., "A class of 4-valued implicative expansions of first-degree entailment logic (FDE) with the variable-sharing property". In Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn (ed. by Katalin Bimbó). Tributes, vol. 46. College Publications, London, UK, 2022.
ROBLES, G., MÉNDEZ, J. M., "On Defining Constructive Negation in Logics of Entailment", in Dimensions of Logical Concepts, (J-Y. Béziau, A. Costa-Leite, eds.) Coleção CLE, volumen 54, UNICAMP, Campinas, Brazil. ISBN: 978-85-86497-05-6, 2009, 265-277.
MÉNDEZ, J. M., ROBLES, G., "Lógica de la Relevancia", in Filosofía de la Lógica (M. J. Frápolli, ed.), 255-286, Tecnos, Madrid, 2007.
MÉNDEZ, J. M., "Lógica de la relevancia" in Lógica (C. Alchourrón, J. M. Méndez, R. Orayen, eds.), Trotta, Madrid, 237-270, 1995.
MÉNDEZ, J. M., "La completud de los fragmentos de la lógica proposicional clásica", in Conocimiento y Acción (J. P. Ballestar, ed.), 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", in 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", in Estudios de Lógica y Filosofía de la Ciencia (M. A. Quintanilla, ed.) Ediciones Universidad de Salamanca, Salamanca, 49-63, 1982
Conference proceedings
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 (A. Jaume, M. Liz, D. Pérez, M. Ponte, M. Vázquez, eds.), pp. 125-126, Puerto de la Cruz, October 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.