Congresos - Talks |
|
|
|
2011: MÉNDEZ, J. M., ROBLES, G., SALTO, F., “On the variable-sharing property and the axiom mingle”, 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, Francia, 19-26 de julio, 2011. MÉNDEZ, J. M., ROBLES, G., SALTO, F., “A general class of logical matrices for the variable-sharing property”, ASL European Summer Meeting (Logic Colloquium 2011), Barcelona, España, 11-16 de julio de 2011. 2010: MÉNDEZ, J. M., ROBLES, "La regla /delta, /pi^{prime} y E", Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010, Puerto de la Cruz, Tenerife, España, 14-16 de octubre de 2010. MÉNDEZ, J. M., ROBLES, G., SALTO, F., “Relevance logics, variable-sharing property and the “mingle” axiom”, ASL European Summer Meeting (Logic Colloquium 2010), París, Francia, 25-31 de julio de 2010. Presentado "by title". MÉNDEZ, J. M., ROBLES, G., SALTO, F., “Paraconsistent logics adequate to consistency understood as the absence of the negation of any implicative theorem”, 3rd World Congress on Universal Logic (UNILOG 2010), Lisboa, Portugal, 22-25 de abril de 2010. 2009: MÉNDEZ, J. M., ROBLES, G., SALTO, F., “Paraconsistency and consistency understood as the absence of the negation of any implicative theorem.”, ASL European Summer Meeting (Logic Colloquium 2009), Sofía, Bulgaria, 31 julio-5 agosto, 2009. 2008: MÉNDEZ, J. M., Discurso de clausura de las jornadas abiertas, I Encuentro Internacional de Expertos en Teorías de la Información, INTECO, León, 6, 7 de noviembre de 2008. MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Semantics for relevant logics plus the disjunctive syllogism", ASL European Summer Meeting (Logic Colloquium 2008), Berna, Suiza, 3-8 de julio de 2008. MÉNDEZ, J. M., ROBLES, G., "The concept of strong paraconsistency", The Fourth World Congress of Paraconsistency, Melbourne, Australia, 13-18 de julio de 2008. (Abstract aceptado). ROBLES, G., MÉNDEZ, J. M., "The concept of strong F-paraconsistency", XIV SLALM (14th Latin-American Symposium on Mathematical Logic), Paraty, RJ, Brasil, 11-17 de mayo de 2008. (Presentado "by title"). 2007: ROBLES, G., MÉNDEZ, J. M. “The minimal constructive logic for a weak sense of consistency”, 13th International Congress for Logic, Methodology and Philosophy of Science, Pekín, China, 9 - 15 de agosto de 2007. ROBLES, G., MÉNDEZ, J. M., SALTO, F., “The basic constructive logics for four different concepts of consistency”, 2nd World Congress on Universal Logic, Xian, China, 20 - 22 de agosto de 2007. ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Relevance logics and intuitionistic negation", ASL European Summer Meeting (Logic Colloquium 2007), Wroclaw, Polonia, 14-19 de julio de 2007. 2006: ROBLES, G., MÉNDEZ, J.M., SALTO, F., “Relevance logics, paradoxes of consistency and the K rule”, ASL European Summer Meeting (Logic Colloquium 2006), Radboud University Nijmegen, Nijmegen, Holanda, 27 de julio - 2 de agosto de 2006. 2005: ROBLES, G., SALTO, F., MÉNDEZ, J. M.,“A constructive negation defined with a negation connective for logics including Bp+”, ASL European Summer Meeting (Logic Colloquium 2005), Atenas, Grecia, 28 de julio - 4 de agosto de 2005. ROBLES, G., MÉNDEZ, J. M., “On definig constructive negation in logics of entailment”, First World Congress on Universal Logic, Montreux, Suiza, 26 de marzo-3 de abril de 2005. MÉNDEZ, J. M., SALTO, F., ROBLES, G., “El sistema Bp+: una lógica positiva mínima para la negación mínima”, Jornadas de Homenaje a Miguel Sánchez-Mazas, Madrid 10 y 11 de marzo de 2005. 2004: ROBLES, G., MÉNDEZ, J. M., SALTO, F.,“Converse Ackermann Property and constructive negation defined with a negation connective”, ASL European Summer Meeting (Logic Colloquium 2004), Turín, Italia, 25-31 de julio del 2004. 2000: MÉNDEZ, J. M., SALTO, F.,“Peirce cleaner through”, First international workshop on “The History and Philosophy of Logic, Mathematics and Computation”, San Sebastián, 9 de noviembre del 2000. 1999: MÉNDEZ, J. M., SALTO, F., “Simulando infinitud”, II Jornadas sobre Historia, Didáctica y Filosofía de la Matemática (“Nuevas direcciones en la Filosofía de la Matemática”), San Sebastián, 16 y 17 de Diciembre de 1999. 1995: MÉNDEZ, J. M., SALTO, F., “Intuitionistic propositional logic without ‘contraction’ but with ‘reductio’”, II Logic meeting, Barcelona, 29 de Julio de 1995. 1991: MÉNDEZ, J. M., “Lógicas alternativas”, I Jornadas de Filosofía: Lógica, Historia y Filosofía de la Ciencia, Valladolid, 23-26 de Marzo de 1991. 1988: MÉNDEZ, J. M., “El sistema LC de Dummet sin el axioma de contracción”, IV Congreso de Lenguajes Naturales y Lenguajes Formales, Lérida, 19-23 de Septiembre de 1988. 1987: MÉNDEZ, J. M., “Axiomatizamos exhaustivamente Eo-> y Ro-> con un selecto grupo de tesis características”, III Congreso de Lenguajes Naturales y Lenguajes Formales, Sitges, 28 de Septiembre- 2 de Octubre de 1987. MÉNDEZ, J. M., “Semántica para X1 y X2’”, III Congreso de Lenguajes Naturales y Lenguajes Formales, Sitges, 28 de Septiembre- 2 de Octubre de 1987. 1985: MÉNDEZ, J. M., “Una suposición contra-intuitiva en la lógica de la relevancia de Anderson y Belnap”, III Congreso de Teoría y Metodología de la Ciencia, Gijón 23- 28 de Septiembre de 1985. MÉNDEZ, J. M., “La lógica modal y la lógica de la relevancia como alternativas a la lógica clásica en la formalización del discurso ordinario”, I Congreso de Lenguajes Naturales y Lenguajes Formales, Barcelona, 14-18 de Octubre de 1985. MÉNDEZ, J. M., “El espectro implicativo clásico: primera aproximación”, IV Congrés Catalá de Lógica, Barcelona, 23 y 24 de Febrero de 1985. 1984: MÉNDEZ, J. M., NORIEGA, B.G., “Cálculo automático de matrices para los sistemas implicativos”, I Simposio Hispano-Mexicano de filosofía, Salamanca, 15-20 de Octubre de 1984. MÉNDEZ, J. M., “La conversa de la Propiedad Ackermann”, I Simposio Hispano Mexicano de Filosofía, Salamanca, 15- 20 Octubre de 1984.
|