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 |
Lógica, Madrid C Alchourrón, JM Méndez, R Orayen Editorial Trotta, 1995 | 20 | 1995 |
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 |
The compatibility of relevance and mingle JM Méndez Journal of Philosophical Logic, 279-297, 1988 | 18 | 1988 |
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 |
A Routley-Meyer semantics for converse Ackermann property JM Méndez Journal of philosophical logic, 65-76, 1987 | 17 | 1987 |
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 |
Urquhart's C with intuitionistic negation: Dummett's LC without the contraction axiom JM Méndez, F Salto Notre Dame Journal of Formal Logic 36 (3), 407-413, 1995 | 14 | 1995 |
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 |
Intuitionistic propositional Logic without'contraction'but with'reductio' JM Méndez, F Salto Studia Logica 66, 409-418, 2000 | 13* | 2000 |
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 |