A general characterization of the variable-sharing property by means of logical matrices JM Méndez, G Robles | 34 | 2012 |
The basic constructive logic for a weak sense of consistency G Robles, JM Méndez Journal of Logic, Language and Information 17, 89-107, 2008 | 30 | 2008 |
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 G Robles, JM Méndez Logic Journal of the IGPL 24 (5), 838-858, 2016 | 19 | 2016 |
Routley-Meyer ternary relational semantics for intuitionistic-type negations G Robles, JM Méndez Academic Press, 2018 | 18 | 2018 |
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values G Robles, JM Méndez Journal of Applied Non-Classical Logics 29 (1), 37-63, 2019 | 17 | 2019 |
Minimal negation in the ternary relational semantics G Robles, J Méndez, F Salto | 17 | 2005 |
Anderson and Belnap's minimal positive logic with minimal negation J Méndez, F Salto, G Robles | 15 | 2002 |
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3 G Robles, JM Méndez Journal of Logic, Language and Information 29 (3), 349-374, 2020 | 14 | 2020 |
A paraconsistent 3-valued logic related to Gödel logic G3 G Robles, JM Méndez Logic Journal of the IGPL 22 (4), 515-538, 2014 | 14 | 2014 |
Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators JM Méndez, G Robles Journal of Logic, Language and Information 25, 163-189, 2016 | 13 | 2016 |
Ticket entailment plus the mingle axiom has the variable-sharing property JM Méndez, G Robles, F Salto Logic Journal of the IGPL 20 (1), 355-364, 2012 | 13 | 2012 |
Relevance logics, paradoxes of consistency and the K rule G Robles, JM Méndez, F Salto Logique et Analyse 50 (198), 129-145, 2007 | 13 | 2007 |
The logic B and the reductio axioms G Robles, JM Méndez Bulletin of the Section of Logic 33 (2), 87-94, 2004 | 13 | 2004 |
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes JM Méndez, G Robles Logica Universalis 9, 501-522, 2015 | 12 | 2015 |
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions G Robles, JM Méndez Logic Journal of the IGPL 23 (2), 174-193, 2015 | 12 | 2015 |
The basic constructive logic for negation-consistency G Robles Journal of Logic, Language and Information 17 (2), 161-181, 2008 | 12 | 2008 |
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic JM Méndez, G Robles Journal of Applied Non-Classical Logics 26 (1), 47-68, 2016 | 11 | 2016 |
Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz’s 3-valued Logic Ł3 G Robles, F Salto, JM Méndez Journal of Philosophical Logic 43, 303-332, 2014 | 11 | 2014 |
Lógica de la relevancia JM Méndez Lógica: Enciclopedia Iberoamericana de Filosofía, 237-270, 1995 | 11 | 1995 |
An interpretation of Łukasiewicz’s 4-valued modal logic JM Méndez, G Robles, F Salto Journal of Philosophical Logic 45, 73-87, 2016 | 10 | 2016 |