Results

The list of results will be updated.

Publications

Articles

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 (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, exac101 (Advance article), 1-23, https://doi.org/10.1093/logcom/exac101 (Open access)

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, J. M. Méndez (2023). A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable. Journal of Philosophical Logic, Online First, 1-24, https://doi.org/10.1007/s10992-022-09692-2 (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, 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 (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 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, jzac045 (Advance article), 1-8. https://doi.org/10.1093/jigpal/jzac045 (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.

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. (Abstract accepted).

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. (Abstract 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: