Talks

Talks

MÉNDEZ, J. M., ROBLES, G. "Rules of proof, rules of inference, Ackermann’s γ and the logic B". ASL European Summer Meeting (Logic Colloquium 2024), Gothenburg, Sweden, 24-28 June, 2024. Presented "by title".

ROBLES, G. MÉNDEZ, J. M., "The lattice of all 4-valued C-extending implicative extensions of Belnap-Dunn logic containing Routley and Meyer's basic logic B^d. New Directions in Relevant Logic 2022, Online workshop (http://www.cs.cas.cz/ndr2022/), 10 and 18 November 2022.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable". ASL European Summer Meeting (Logic Colloquium 2022), Reykjavik, Iceland, 27 June – 1 July, 2022. Publication (abstract): Bulletin of Symbolic Logic, 28(4), 596, 2022.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Three-valued relevance logics", ASL European Summer Meeting (Logic Colloquium 2021), Poznań, Poland, 19-24 July 2021. Publication (abstract): Bulletin of Symbolic Logic, 28(2), 307-308, 2022. 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Falsity constants for two independent families of quasi-Boolean logics", ASL European Summer Meeting (Logic Colloquium 2019), Prague, Czech Republic, 11-16 August 2019. Publication (abstract): Bulletin of Symbolic Logic, 25(4), 518-519, 2019. 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Expansions of relevant logics with a dual intuitionistic type negation", 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, Czech Republic, 11-16 August 2019.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Basic quasi-Boolean extensions of relevant logics", ASL European Summer Meeting (Logic Colloquium 2018), Udine, Italy, 23-28 July 2018. Publication (abstract): Bulletin of Symbolic Logic, 25(2), 259, 2019 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., “A basic dual intuitionistic logic”, 6th World Congress on Universal Logic (UNILOG 2018), Vichy, France, 16-26 June 2018.

MÉNDEZ, J. M., ROBLES, G., LÓPEZ, S. M., RECIO, M. M., "Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix", ASL European Summer Meeting (Logic Colloquium 2017), Stockholm, Sweden, 14-20 August 2017.  Publication (abstract): Bulletin of Symbolic  Logic, 24(2), 255-256, 2018. 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "An expansion of Brady’s logic BN4 with truth-functional modal operators", Modalities, Conditionals, and Values (A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright), Helsinki, Finland, 23-25 May 2016.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Smiley’s matrix for Anderson and Belnap’s First Degree Entailment Logic", ASL European Summer Meeting (Logic Colloquium 2015), Helsinki, Finland, August 2015. (Presented "by title"). Publication (abstract): Bulletin of Symbolic Logic, 22(3), 433-434, 2016. 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Blocking the routes to triviality with depth relevance", ASL European Summer Meeting (Logic Colloquium 2014), Vienna, Austria, 14-19 July 2014. Publication (abstract): Bulletin of Symbolic Logic, 21(1), 82, 2015 

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Routes to triviality and depth relevance", ASL European Summer Meeting (Logic Colloquium 2013), Évora, Portugal, 22-27 July 2013. Publication (abstract): Bulletin of Symbolic  Logic, 20(2), 237, 2014. 

SALTO, F., ROBLES, G., MÉNDEZ, J. M., "Curry’s Paradox, Generalized Contraction Rule and Depth Relevance", 23rd World Congress of Philosophy (WCP 2013), Athenes, Greece, 4-10 August 2013.

SALTO, F., ROBLES, G., MÉNDEZ, J. M., “Deep relevant logics not included in relevant logic R”, 8th Scandinavian Logic Symposium, Roskilde University, Denmark, 20-21 August 2012.

SALTO, F., ROBLES, G., MÉNDEZ, J. M., “Strong relevant matrices”, ASL European Summer Meeting (Logic Colloquium 2012), Manchester, United Kingdom, 12-18 July 2012. Publication (abstract): Bulletin of Symbolic Logic, 20(3), 408-409, 2014. 

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, France, 19-26 July 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, Spain, 11-16 July 2011. Publication (abstract): Bulletin of Symbolic Logic, 18(3), 457, 2012. 

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, Spain, 14-16 October 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), Paris, France, 25-31 July 2010. Presented "by title". Publication (abstract): Bulletin of Symbolic Logic, 17(2), p. 327, 2011. 

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), Lisbon, Portugal, 22-25 Aprril 2010.

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), Sofia, Bulgaria, 31 July-5 August 2009. Publication (abstract): Bulletin of Symbolic Logic, 16(1), 2010. 

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, Spain, 6-7 November 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, Switzerland, 3-8 July 2008. Publication (abstract): Bulletin of Symbolic Logic, 15(1), 123-124, 2009. 

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. (Presented "by title"). Publication (abstract): Bulletin of Symbolic Logic, 5(3), 375, 2009. 

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,  Beijing, China, 9 - 15 August 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 August 2007.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., "Relevance logics and intuitionistic negation", ASL European Summer Meeting (Logic Colloquium 2007),  Wroclaw, Poland, 14-19 July 2007. Publication (abstract): Bulletin of Symbolic Logic, 14(1), 147, 2008. 

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, Netherlands, 27 July- 2 de August 2006. Publication (abstract): Bulletin of Symbolic Logic, 13(2), 286, 2007. 

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),  Athenes, Greece, 28 de July - 4 August 2005. Publication (abstract): Bulletin of Symbolic Logic, 12(2), 344, 2006. 

ROBLES, G., MÉNDEZ, J. M., “On definig constructive negation in logics of entailment”,  First World Congress on Universal Logic, Montreux, Switzerland, 26 March-3 April 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, Spain, 10-11 March 2005. 

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), Turin, Italy, 25-31 July 2004. Publication (abstract): Bulletin of Symbolic Logic, 11(2), 292-293, 2005. 

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, Spain, 9 November 2000.

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, Spain, 16-17 December 1999.

MÉNDEZ, J. M., SALTO, F., “Intuitionistic propositional logic without ‘contraction’ but with ‘reductio’”,  II Logic meeting, Barcelona, Spain, 29 July1995.

MÉNDEZ, J. M., “Lógicas alternativas”,  I Jornadas de Filosofía: Lógica, Historia y Filosofía de la Ciencia, Valladolid, Spain, 23-26 March 1991.

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, Spain, 19-23 September 1988. 

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, Spain, 28 de September-2 October 1987. 

MÉNDEZ, J. M., “Semántica para X1 y X2’”,  III Congreso de Lenguajes Naturales y Lenguajes Formales, Sitges, Spain, 28 de September- 2 de October 1987.

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, Spain, 23- 28 de September 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, Spain, 14-18 October 1985. 

MÉNDEZ, J. M., “El espectro implicativo clásico: primera aproximación”,  IV Congrés Catalá de Lógica, Barcelona, Spain, 23 -24 February 1985. 

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, Spain, 15-20 de October 1984. 

MÉNDEZ, J. M., “La conversa de la Propiedad Ackermann”, I  Simposio Hispano Mexicano de Filosofía, Salamanca, Spain, 15- 20 October 1984.