Publications
Publications
ROBLES, G. MÉNDEZ, J. M., The only connexive 3-valued implication expansion of Kleene's strong logic containing the relevant logic B'. Journal of Philosophical Logic. Forthcoming.
MÉNDEZ J. M., ROBLES, G., On the connexive acceptability of Omori and Kapsner’s logic AM3. A note, Studia Logica. Forthcoming.
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. A weak logic with the axiom mingle lacking the variable-sharing property, Bulletin of the Section of Logic, 40(3-4), 195-202, 2011. https://hdl.handle.net/10612/25819 (Open access)
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. PDF
SALTO, F., MÉNDEZ, J. M., More on Peirce’s Law, Bulletin of the Section of Logic, 28, 27-38, 1999. PDF
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. PDF
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. PDF
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. PDF
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. PDF
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.