Inicio

Publicaciones

Congresos

Proyectos

Docencia

Enlaces

Home Publications Talks Projects Teaching Links

Gemma Robles


Congresos - Talks

Ponencias - talks

J. M. Méndez, G. Robles, F. Salto, “A basic dual intuitionistic logic”, 6th World Congress on Universal Logic (Unilog 2018), Vichy, Francia, 16-26 de junio, 2018. (Comunicación aceptada).

G. Robles, “Expansions of relevance logics with a quasi-Boolean negation of intuitionistic character”, 6th World Congress on Universal Logic (Unilog 2018), Vichy, Francia, 16-26 de junio, 2018. (Comunicación aceptada).

J. M. Méndez, G. Robles, S. M. López, M. M. Recio, "Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix", ASL European Summer Meeting (Logic Colloquium 2017), Estocolmo, Suecia, 14-20 de agosto, 2017.

G. Robles, F. Salto, J. M. Blanco, "Routley-Meyer semantics for natural implicative expansions of Kleene’s strong three-valued matrix", ASL European Summer Meeting (Logic Colloquium 2017), Estocolmo, Suecia, 14-20 de agosto, 2017.

J. M. Méndez, G. Robles, F. Salto, "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, Finlandia, 23-25 de mayo, 2016.

G. Robles, "The 4-valued logic of entailment E4", Modalities, Conditionals, and Values (A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright), Helsinki, Finlandia, 23-25 de mayo, 2016.

J. M. Méndez, G. Robles, F. Salto, "Smiley’s matrix for Anderson and Belnap’s First Degree Entailment Logic", ASL European Summer Meeting (Logic Colloquium 2015), Helsinki, Finlandia, 3-8 de agosto, 2015. (Presentado "by title").

G. Robles, "A 4-valued logic without Łukasiewicz type paradoxes", ASL European Summer Meeting (Logic Colloquium 2015), Helsinki, Finlandia, 3-8 de agosto, 2015. (Presentado "by title").

G. Robles, "A Routley-Meyer semantics for Gödel 3-valued logic G3", ASL European Summer Meeting (Logic Colloquium 2014), Viena, Austria, 14-19 de julio, 2014.

G. Robles, F. Salto, "Insolubilia Sorites. Una aproximación lógica e histórica a las antinomias y los niveles de abstracción en las relaciones de consecuencia", XII Reunión Científica Internacional sobre Humanistas Españoles “Ciencia, Arte y Literatura”, León, España, 25-26 de septiembre, 2014.

J. M. Méndez, G. Robles, F. Salto, "Blocking the routes to triviality with depth relevance", ASL European Summer Meeting (Logic Colloquium 2014), Viena, Austria, 14-19 de julio, 2014.

J. M. Méndez, G. Robles, F. Salto, "Routes to triviality and depth relevance", ASL European Summer Meeting (Logic Colloquium 2013), Évora, Portugal, 22-27 de julio 2013.

G. Robles, "Las contradicciones desde el punto de vista lógico", Ciclo de Conferencias Ciencia y Cultura en la Facultad de Letras, Acciones de divulgación científica y cultural de la Facultad de Filosofía y Letras, Universidad de León, 23 de mayo, 2013 (conferencia invitada).

G. Robles, "A Routley-Meyer semantics for Łukasiewicz 3-valued logic Ł3", 23rd World Congress of Philosophy (WCP 2013), Atenas, Grecia, 4-10 de agosto 2013.

G. Robles, "A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics", ASL European Summer Meeting (Logic Colloquium 2013), Évora, Portugal, 22-27 de julio, 2013.

F. Salto, G. Robles, J. M. Méndez, "Curry’s Paradox, Generalized Contraction Rule and Depth Relevance", 23rd World Congress of Philosophy (WCP 2013), Atenas, Grecia, 4-10 de agosto 2013.

G. Robles, “Two-valued semantics for Łukasiewicz’s 3-valued logic Ł3”, 8th Scandinavian Logic Symposium, Roskilde University, Dinamarca, 20-21 de agosto de 2012.

G. Robles, “Depth relevance and the contraction axiom”, ASL European Summer Meeting (Logic Colloquium 2012), Manchester, Reino Unido, 12-18 de julio de 2012.

F. Salto, G. Robles, J. M. Méndez, “Deep relevant logics not included in relevant logic R”, 8th Scandinavian Logic Symposium, Roskilde University, Dinamarca, 20-21 de agosto de 2012.

F. Salto, G. Robles, J. M. Méndez, “Strong relevant matrices”, ASL European Summer Meeting (Logic Colloquium 2012), Manchester, Reino Unido, 12-18 de julio de 2012.

J. M. Méndez, G. Robles, F. Salto, "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 de 2011.

J. M. Méndez, G. Robles, F. Salto, “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.

G. Robles, "The basic constructive logic for weak consistency in the ternary semantics with designated points",  14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, Francia, 19-26 de julio de 2011.

G. Robles, “Semantics for relevant logics including TWcr plus the disjunctive syllogism”,  ASL European Summer Meeting (Logic Colloquium 2011), Barcelona, España, 11-16 de julio de 2011.

J. M. Méndez, G. 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.

G. Robles, "La regla ECQ, el silogismo disyuntivo y las lógicas modales de Lewis", 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.

J. M. Méndez, G. Robles, F. Salto.  "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 tittle").

G. Robles, "The basic constructive logic for w-consistency in the ternary relational semantics with a set of designated points", ASL European Summer Meeting (Logic Colloquium 2010), París, Francia, 25-31 de julio de 2010. (Presentado "by title).

J. M. Méndez, G. Robles, F. Salto, “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, 2010.

G. Robles, “Disjunctive Syllogism, Lewis’ modal logics and paraconsistency”, 3rd World Congress on Universal Logic (Unilog 2010), Lisboa, Portugal, 22-25 de abril, 2010.

J. M. Méndez, G. Robles, F. Salto, “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.

G. Robles, “Paraconsistent logics included in Lewis’ S4”, ASL European Summer Meeting (Logic Colloquium 2009), Sofía, Bulgaria, 31 julio-5 agosto, 2009.

L. Artiles, J. J. Colomina, R. Herrera, A. Jaume, M. Liz, D. Pérez, M. Ponte, G. Robles, M. Vázquez, "Points of View. A Framework for the Analysis of its Structure and Dynamics", ECAP 6 European Congress of Analytic Philosophy, Cracovia, Polonia, 21-26 Agosto, 2008.

J. M. Méndez, G. Robles, "The concept of strong paraconsistency", The Fourth World Congress of Paraconsistency, Melbourne, Australia, 13-18 de julio de 2008. (Abstract aceptado).

J. M. Méndez, G. Robles, F. Salto, "Semantics for relevant logics plus the disjunctive syllogism", ASL European Summer Meeting (Logic Colloquium 2008) Berna, Suiza, 3-8 de julio de 2008.

G. Robles, "The basic constructive logic for an even weaker sense of consistency", The Fourth World Congress of Paraconsistency, Melbourne, Australia, 13-18 de julio de 2008. (Abstract aceptado).

G. Robles, "Weak consistency and strong paraconsistency", I Encuentro Internacional de Expertos en Teorías de la Información, Mesa Redonda: "La cuestión semántica (contextos, verdad, contradicción)", INTECO, León, 6, 7 de noviembre de 2008. (Ponencia invitada - invited talk).

G. Robles, "On some of the different faces of "Das Absurde"", ASL European Summer Meeting (Logic Colloquium 2008 Berna, Suiza, 3-8 de julio de 2008.

G. Robles, J. M. Méndez, "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").

G. Robles, J. M. Méndez “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.

G. Robles, J. M. Méndez, F. Salto, “The basic constructive logics for four different concepts of consistency”, 2nd World Congress on Universal Logic,  Xian, China, 20 - 22 de agosto de 2007.

G. Robles, J. M. Méndez, F. Salto, "Relevance logics and intuitionistic negation", ASL European Summer Meeting (Logic Colloquium 2007),  Wroclaw, Polonia, 14-19 de julio de 2007.

G. Robles, J. M. Méndez, F. Salto, “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.

J. M. Méndez, F. Salto, G. Robles, “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.

G. Robles, F. Salto, J. M. Méndez, “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.

G. Robles, J. M. Méndez, “On definig constructive negation in logics of entailment”,  First World Congress on Universal Logic, Montreux, Suiza, 26 de marzo-3 de abril de 2005.

G. Robles, J. M. Méndez, F. Salto, “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.

G. Robles, "Conceptos fundamentales de la semántica relacional ternaria", Fundamentos y Aplicaciones de Semánticas Formales Relacionales, Universidad de León. León, 13 de diciembre de 2004. (Ponencia invitada - invited talk).

 

 

 

Licencia de Creative Commons