Results

The list of results will be updated.

Publications

Articles

J. M. Blanco, S. M. López, M. M. Recio (2023). On how the 2 set-up Routley-Meyer semantics are a specific case of the reduced general Routley-Meyer semantics in the context of some 4-valued logics. Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 10(1), 1-18, www.collegepublications.co.uk/downloads/ifcolog00057.pdf (Open access)

G. Robles (2023). Two 4-valued implicative expansions of first-degree entailment logic, FDE: The relevant logic BN4^{VSP} and the (relevant) entailment logic BN4^{AP}. Journal of Logic and Computation, 33(2), 462-484, https://doi.org/10.1093/logcom/exac101 (Open access)

G. Robles, J. M. MĂ©ndez (2023). 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, https://ojs.victoria.ac.nz/ajl/article/view/8311/7379 (Open access)

G. Robles, J. M. MĂ©ndez (2023). 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, jzad005, Advance article, https://doi.org/10.1093/jigpal/jzad005 (Open access)

G. Robles, J. M. MĂ©ndez (2023). A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable. Journal of Philosophical Logic, 52, 915-938, https://doi.org/10.1007/s10992-022-09692-2 (Open access)

G. Robles, J. M. MĂ©ndez (2023). 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, https://doi.org/10.1093/jigpal/jzac045 (Open access)

— G. Robles, J. M. MĂ©ndez (2023). 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, https://doi.org/10.1093/jigpal/jzad004 (Open access)

G. Robles, S. M. López, J. M. Blanco (2022). Relational semantics for the paraconsistent and paracomplete 4-valued logic PƁ4. Logic and Logical Philosophy, Special Issue: Logics and Their Interpretations, Part II (H. Antunes and D. Szmuc, Guest Eds.), 31(4), 665-687. https://doi.org/10.12775/LLP.2022.016 (Open access)

G. Robles, J. M. Méndez (2022). 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, https://doi.org/10.18778/0138-0680.2022.20 (Open access)

G. Robles, J. M. MĂ©ndez (2021). A 2 set-up Roultey-Meyer semantics for the 4-valued logic PƁ4. Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 8(10), 2435-2446. www.collegepublications.co.uk/downloads/ifcolog00052.pdf (Open access)

Book Chapters

G. Robles, J. M. MĂ©ndez (2022). 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. (Open access)

Conference proceedings

G. Robles (2021). A variant with the variable-sharing property of Brady’s 4-valued implicative expansion BN4 of Anderson and Belnap’s logic FDE. In Logic and Argumentation. Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings (eds P. Baroni, C. BenzmĂŒller, Y. N. WĂĄng), LNAI, vol. 13040, 362-376. https://doi.org/10.1007/978-3-030-89391-0_20

Talks

M. M. Recio, J. M. Blanco, S. M. LĂłpez. Exploring the building blocks of 2 set-up Routley-Meyer semantics. ASL European Summer Meeting (Logic Colloquium 2023), Milan, Italy, 5-9 June 2023.

G. Robles, J. M. MĂ©ndez, F. Salto. On 3-valued connexive logics. ASL European Summer Meeting (Logic Colloquium 2023), Milan, Italy, 5-9 June 2023. (Accepted).

G. Robles, J. M. MĂ©ndez. 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.

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

G. Robles. The logic E-Mingle and its Routley-Meyer semantics. ASL European Summer Meeting (Logic Colloquium 2022), Reykjavik, Iceland, 27 June – 1 July, 2022. Publication (abstract): Bulletin of Symbolic Logic, 28(4), 599-600, 2022.

J. M. MĂ©ndez, G. Robles, F. Salto. On the Hilbert-style formulation of the logic of entailment E, the mingle axiom, the variable-sharing property and the Ackermann Property. 7th World Congress on Universal Logic (UNILOG 2022), Crete, Greece, April 6-11, 2022. (Accepted.)

G. Robles. A Routley-Meyer semantics for the logic E-Mingle. 7th World Congress on Universal Logic (UNILOG 2022), Crete, Greece, April 6-11, 2022. (Accepted.)

G. Robles. A variant with the variable-sharing property of Brady’s 4-valued implicative expansion BN4 of Anderson and Belnap’s logic FDE. 4th International Conference on Logic and Argumentation (CLAR 2021). Hangzhou, China, 20-22 October 2021.

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

G. Robles. Alternative semantical interpretations of the paraconsistent and paracomplete 4-valued logic PƁ4. ASL European Summer Meeting (Logic Colloquium 2021), PoznaƄ, Poland, 19-24 July 2021. Publication (abstract): Bulletin of Symbolic Logic, 28(2), 313-314, 2022.

 


Project PID2020-116502GB-I00 funded by: