Publications
Publications
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.), 22(5), 571-590. 2025. https://doi.org/10.26686/ajl.v22i5.8950 (Open access)
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, 32(3), 493-516, 2024. https://doi.org/10.1093/jigpal/jzad005 (Open access)
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://doi.org/10.26686/ajl.v20i2.8311 (Open access)
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 (Open access)
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 (Open access)
— 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 (Open access)
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 (Open access)
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 (Open access)
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. View-only
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. View-only
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 (Open access)
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. View-only
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. View-only
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. View-only
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. View-only
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 (Open access)
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. View-only
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. https://doi.org/10.1215/00294527-1960461 (Open access)
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. View-only
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. View-only
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. https://doi.org/10.1215/00294527-1715707 (Open access)
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. https://doi.org/10.1093/jigpal/jzr046
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. https://www.logiqueetanalyse.be/archive/issues87-220/LA215/03mendez-robles-salto.pdf (Open access)
ROBLES, G., MÉNDEZ J. M., A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy, 20(3), 241–249, 2011. https://doi.org/10.12775/LLP.2011.014 (Open access)
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. https://doi.org/10.1093/jigpal/jzp083
ROBLES, G., SALTO, F., MÉNDEZ, J. M. (2011). A weak logic with the axiom mingle lacking the variable-sharing property, Bulletin of the Section of Logic, 40(3-4), 195-202.
MÉNDEZ, J. M., Erratum to: The Compatibility of Relevance and Mingle, Journal of Philosophical Logic, 39(3), 339, 2010. https://doi.org/10.1007/s10992-010-9132-8
ROBLES, G., MÉNDEZ J. M., Paraconsistent logics included in Lewis’ S4, Review of Symbolic Logic, 3(3), 442-446, 2010. https://doi.org/10.1017/S1755020310000109
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. https://doi.org/10.1007/s10992-009-9117-7
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. https://doi.org/10.12775/LLP.2010.013 (Open access)
MÉNDEZ, J. M., A Routley-Meyer semantics for Ackermann's logics of 'strenge Implikation', Logic and Logical Philosophy 18, 191-219, 2009. https://doi.org/10.12775/LLP.2009.010 (Open access)
MÉNDEZ, J. M., ROBLES, G., The basic constructive logic for absolute consistency, Journal of Logic Language and Information 18(2), 199-216, 2009. https://doi.org/10.1007/s10849-008-9077-2
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. https://doi.org/10.1007/s10849-009-9085-x
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. https://doi.org/10.3166/jancl.18.49-65
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. https://doi.org/10.1007/s10849-007-9042-5
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. https://doi.org/10.1093/jigpal/jzm015
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. https://ojs.ehu.eus/index.php/THEORIA/article/view/483/460 (Open access)
ROBLES, G., MÉNDEZ, J. M., Minimal non-relevant logics without the K axiom, Reports on Mathematical Logic, 42, 117-144, 2007. http://rml.tcs.uj.edu.pl/rml-42/07-robles.pdf (Open access)
ROBLES, G., MÉNDEZ, J. M., SALTO, F., Relevance logics, paradoxes of consistency and the K rule, Logique et Analyse, 198, 129-145, 2007. https://www.logiqueetanalyse.be/archive/issues87-220/LA198/03robles.pdf (Open access)
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. https://doi.org/10.12775/LLP.2006.011 (Open access)
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. https://doi.org/10.12775/LLP.2006.007 (Open access)
ROBLES, G., MÉNDEZ, J. M., A constructive negation for logics including TW+, Journal of Applied Non-Classical Logics, 15(4), 389-404, 2005. https://doi.org/10.3166/jancl.15.389-404
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. https://www.logiqueetanalyse.be/archive/issues87-220/LA189-192/07robles-mendez.pdf (Open access)
ROBLES, G., MÉNDEZ, J. M., Two versions of minimal intuitionism with the CAP, Theoria, 20: 53, 183-190, 2005. https://ojs.ehu.eus/index.php/THEORIA/article/view/571/477 (Open access)
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. http://rml.tcs.uj.edu.pl/rml-39/mendez.pdf (Open access)
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), 119--128, 2002. https://www.jstor.org/stable/44084713
ROBLES, G., MÉNDEZ, J. M., Exhaustively Axiomatizing Eo-> and Ro->, Logical Studies, 9, 1-10 2002. https://web.archive.org/web/20060517060557/http:/www.logic.ru/LogStud/09/No9-05.html
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. http://rml.tcs.uj.edu.pl/rml-36/36-mendez.pdf (Open access)
SALTO, F., ROBLES, G., MÉNDEZ, J.M., Exhaustively Axiomatizing EMO->, Logical Studies, 7, 1-6, 2001. https://web.archive.org/web/20051215040003/http://www.logic.ru/LogStud/07/No7-07.html
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. https://doi.org/10.1023/A:1005216827905
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. https://doi.org/10.1023/A:1017978332179
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. https://doi.org/10.1305/NDJFL/1040149356 (Open access)
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, The Journal of Non-Classical Logic, 6(2), 41-46, 1989. https://www.cle.unicamp.br/eprints/index.php/jancl/issue/view/214; https://www.cle.unicamp.br/eprints/index.php/jancl/article/view/1097 (Open access)
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. https://doi.org/10.1007/BF00370290
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(123/124), 371--377, 1988. https://www.jstor.org/stable/44084250
MÉNDEZ, J. M., The compatibility of Relevance and Mingle, Journal of Philosophical Logic, 17, 279-297, 1988. https://doi.org/10.1007/BF00247955
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. https://doi.org/10.1007/BF00250615
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.
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.
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". In Sedlár, I., Standefer, S., Tedder, A. (eds) New Directions in Relevant Logic. Trends in Logic, vol. 63, 225-247. Springer, Cham, 2025. https://doi.org/10.1007/978-3-031-69940-5_10
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. https://www.collegepublications.co.uk/tributes/?00046 (Open access)
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
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.