José M. Méndez

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 20

Top Topics

Datalog Programs

Top Venues

J. Log. Lang. Inf.

J. Appl. Non Class. Logics

J. Philos. Log.

Publications

Gemma Robles, José M. Méndez
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. Log. J. IGPL 32 (3) (2024)
Gemma Robles, José M. Méndez
. Log. J. IGPL 32 (3) (2024)
Gemma Robles, José M. Méndez
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. Log. J. IGPL 31 (3) (2023)
Gemma Robles, José M. Méndez
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. J. Philos. Log. 52 (3) (2023)
Gemma Robles, José M. Méndez
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic. Log. J. IGPL 30 (1) (2022)
Gemma Robles, José M. Méndez
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation. J. Appl. Non Class. Logics 31 (2) (2021)
Gemma Robles, José M. Méndez
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. FLAP 8 (10) (2021)
Gemma Robles, José M. Méndez
A Class of Implicative Expansions of Kleene's Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz's 3-Valued Logic Ł3. J. Log. Lang. Inf. 30 (3) (2021)
Gemma Robles, José M. Méndez
. J. Log. Lang. Inf. 30 (1) (2021)
Gemma Robles, José M. Méndez
Basic Quasi-Boolean Expansions of Relevance Logics. J. Philos. Log. 50 (4) (2021)
Gemma Robles, José M. Méndez
The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3. J. Log. Lang. Inf. 29 (3) (2020)
Gemma Robles, José M. Méndez
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. Log. J. IGPL 27 (6) (2019)
Gemma Robles, Francisco Salto, José M. Méndez
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. J. Appl. Non Class. Logics 29 (3) (2019)
Gemma Robles, José M. Méndez
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. J. Appl. Non Class. Logics 29 (1) (2019)
José M. Méndez, Gemma Robles, Francisco Salto
An Interpretation of Łukasiewicz's 4-Valued Modal Logic. J. Philos. Log. 45 (1) (2016)
José M. Méndez, Gemma Robles
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. J. Appl. Non Class. Logics 26 (1) (2016)
José M. Méndez, Gemma Robles
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators. J. Log. Lang. Inf. 25 (2) (2016)
Gemma Robles, José M. Méndez
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4. Log. J. IGPL 24 (5) (2016)
José M. Méndez, Gemma Robles
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. Logica Universalis 9 (4) (2015)
Gemma Robles, José M. Méndez
and its extensions. Log. J. IGPL 23 (2) (2015)
Gemma Robles, José M. Méndez
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Log. J. IGPL 22 (1) (2014)
Gemma Robles, José M. Méndez
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Stud Logica 102 (1) (2014)
Gemma Robles, Francisco Salto, José M. Méndez
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3. J. Philos. Log. 43 (2-3) (2014)
Gemma Robles, José M. Méndez
A paraconsistent 3-valued logic related to Gödel logic G3. Log. J. IGPL 22 (4) (2014)
Gemma Robles, José M. Méndez
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame J. Formal Log. 55 (1) (2014)
Gemma Robles, José M. Méndez
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. J. Appl. Non Class. Logics 24 (4) (2014)
Gemma Robles, José M. Méndez
Blocking the Routes to Triviality with Depth Relevance. J. Log. Lang. Inf. 23 (4) (2014)
José M. Méndez, Gemma Robles
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame J. Formal Log. 53 (2) (2012)
José M. Méndez, Gemma Robles, Francisco Salto
Ticket Entailment plus the mingle axiom has the variable-sharing property. Log. J. IGPL 20 (1) (2012)
Gemma Robles, José M. Méndez
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. Log. J. IGPL 19 (1) (2011)
Gemma Robles, José M. Méndez
Plus the Disjunctive Syllogism. J. Philos. Log. 39 (2) (2010)
José M. Méndez
Erratum to: The Compatibility of Relevance and Mingle. J. Philos. Log. 39 (3) (2010)
Gemma Robles, José M. Méndez
Paraconsistent Logics Included in Lewis' S4. Rev. Symb. Log. 3 (3) (2010)
José M. Méndez, Gemma Robles
The Basic Constructive Logic for Absolute Consistency. J. Log. Lang. Inf. 18 (2) (2009)
Gemma Robles, José M. Méndez
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. J. Log. Lang. Inf. 18 (3) (2009)
José M. Méndez, Gemma Robles
Relevance logics and intuitionistic negation. J. Appl. Non Class. Logics 18 (1) (2008)
José M. Méndez, Manuel Montanero
Hypergraphics for History Teaching - Barriers for Causal Reasoning about History Accounts. J. Educ. Technol. Soc. 11 (4) (2008)
Gemma Robles, José M. Méndez
The basic constructive logic for a weak sense of consistency. J. Log. Lang. Inf. 17 (1) (2008)
Gemma Robles, José M. Méndez
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. Log. J. IGPL 16 (1) (2008)
Gemma Robles, José M. Méndez
Minimal non-relevant logics without the K axiom. Reports Math. Log. 42 (2007)
Gemma Robles, José M. Méndez
A constructive negation for logics including TW+. J. Appl. Non Class. Logics 15 (4) (2005)
Gemma Robles, José M. Méndez, Francisco Salto
Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. 39 (2005)
José M. Méndez, Francisco Salto, Gemma Robles
Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports Math. Log. 36 (2002)
José M. Méndez, Francisco Salto
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. Stud Logica 66 (3) (2000)
José M. Méndez, Francisco Salto
A Natural Negation Completion of Urquhart's Many-Valued Logic C. J. Philos. Log. 27 (1) (1998)
José M. Méndez, Francisco Salto
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame J. Formal Log. 36 (3) (1995)
José M. Méndez
The compatibility of relevance and mingle. J. Philos. Log. 17 (3) (1988)
José M. Méndez
Converse Ackermann Croperty and semiclassical negation. Stud Logica 47 (2) (1988)
José M. Méndez
A Routley-Meyer semantics for converse Ackermann Property. J. Philos. Log. 16 (1) (1987)