Weak consistency and the Routley operator

Results

Publications

Articles

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, doi: 10.1007/s10992-015-9362-x, 2015.

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, doi: 10.1093/jigpal/jzu029, 2015.

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, doi: 10.2143/LEA.232.0.3144298, 2015.

ROBLES, G., "A simple Henkin-style completeness proof for Gödel 3-valued logic G3", Logic and Logical Philosophy, 23 (4), 371-390, DOI: 10.12775/LLP.2014.001, 2014.

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, DOI: 10.1080/11663081.2014.972306, 2014.

ROBLES, G., MÉNDEZ, J. M. "Blocking the routes to triviality with depth relevance", Journal of Logic, Language and Information, 23 (4), 493-526, DOI: 10.1007/s10849-014-9199-7, 2014.

ROBLES, G., MÉNDEZ, J. M., "A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics", Logic Journal of the IGPL, 22 (1), 1-23, doi: 10.1093/jigpal/jzt017, 2014.

ROBLES, G., MÉNDEZ, J. M., "A paraconsistent 3-valued logic related to Gödel logic G3", Logic Journal of the IGPL, 22 (4), 515-538, DOI: 10.1093/jigpal/jzt046, 2014.

ROBLES, G., MÉNDEZ, J. M., "Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance", Studia Logica, 102 (1), 185-217, DOI 10.1007/s11225-013-9471-x, 2014.

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.

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), 303-332, DOI 10.1007/s10992-012-9264-0, 2014.

ROBLES, G., "Admissibility of Ackermanns rule /delta in relevant logics", Logic and Logical Philosophy, 22 (4, 411–427, DOI 10.12775/LLP.2013.018, 2013.

ROBLES, G., "A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart", Logica Universalis, 7 (4), 507-532, DOI 10.1007/s11787-013-0088-7, 2013.

MÉNDEZ, 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.

ROBLES, G., Paraconsistency and consistency understood as the absence of the negation of any implicative theorem, Reports on Mathematical logic, 47, pp. 147-171, 2012.

ROBLES, G., A semantical proof of the admissibility of the rule assertion in some relevant and modal logics, Bulletin of the Section of Logic, 41/1-2, pp. 51 - 60, 2012.

Talks

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.

ROBLES, G., "A Routley-Meyer semantics for Gödel 3-valued logic G3", ASL European Summer Meeting (Logic Colloquium 2014), Vienna, Austria, 14-19 July 2014. Publication: (Asbtract), Bulletin of Symbolic Logic, 21(1), 88-89, 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.

ROBLES, G., "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 July 2013. Publication: (Abstract) Bulletin of Symbolic Logic, 20 (2), 241-242, 2014.

ROBLES, G., "A Routley-Meyer semantics for Łukasiewicz 3-valued logic Ł3", 23rd World Congress of Philosophy (WCP 2013), Athens, Greece, 4-10 August 2013.

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

ROBLES, G., "Two-valued semantics for Łukasiewicz’s 3-valued logic Ł3", 8th Scandinavian Logic Symposium, Roskilde University, Denmark, 20-21 August 2012.

ROBLES, G., "Depth relevance and the contraction axiom", ASL European Summer Meeting (Logic Colloquium 2012), Manchester, UK, 12-18 July 2012. Publication: (Abstract) Bulletin of Symbolic Logic, 20 (3), 408, 2014.

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

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