Gemma Robles - RankMe

55 papers Journal 54Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On three-valued logics with the variable sharing property. Australas. J. Log. Gemma Robles
2024	J	`jnl`	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 Gemma Robles, José M. Méndez
2024	J	`jnl`	The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B Log. J. IGPL Gemma Robles, José M. Méndez
2023	J	`jnl`	A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. J. Philos. Log. Gemma Robles, José M. Méndez
2023	J	`jnl`	A Variety of DeMorgan Negations in Relevant Logics. Australas. J. Log. Gemma Robles, José M. Méndez
2023	J	`jnl`	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 Gemma Robles, José M. Méndez
2023	J	`jnl`	Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP. J. Log. Comput. Gemma Robles
2022	J	`jnl`	A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic. Log. J. IGPL Gemma Robles, José M. Méndez
2021	J	`jnl`	A 2 Set-up Routley Semantics for the 4-valued Logic PL4. FLAP Gemma Robles, José M. Méndez
2021	J	`jnl`	A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2021	J	`jnl`	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. Gemma Robles, José M. Méndez
2021	—	`conf`	A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. CLAR Gemma Robles
2021	J	`jnl`	Basic Quasi-Boolean Expansions of Relevance Logics. J. Philos. Log. Gemma Robles, José M. Méndez
2021	J	`jnl`	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 Gemma Robles, José M. Méndez
2021	J	`jnl`	The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. FLAP Gemma Robles
2020	J	`jnl`	A basic quasi-Boolean logic of intuitionistic character. J. Appl. Non Class. Logics Gemma Robles
2020	J	`jnl`	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. Gemma Robles, José M. Méndez
2019	J	`jnl`	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. J. Appl. Non Class. Logics Gemma Robles, Francisco Salto, José M. Méndez
2019	J	`jnl`	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2019	J	`jnl`	Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. Log. J. IGPL Gemma Robles, José M. Méndez
2019	J	`jnl`	Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix. Log. J. IGPL Gemma Robles
2016	J	`jnl`	A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4. Log. J. IGPL Gemma Robles, José M. Méndez
2016	J	`jnl`	An Interpretation of Łukasiewicz's 4-Valued Modal Logic. J. Philos. Log. José M. Méndez, Gemma Robles, Francisco Salto
2016	J	`jnl`	Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators. J. Log. Lang. Inf. José M. Méndez, Gemma Robles
2016	J	`jnl`	The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. J. Appl. Non Class. Logics José M. Méndez, Gemma Robles
2016	J	`jnl`	The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property. Reports Math. Log. Gemma Robles
2015	J	`jnl`	A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. Logica Universalis José M. Méndez, Gemma Robles
2015	J	`jnl`	A binary Routley semantics for intuitionistic De Morgan minimal logic H Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	A paraconsistent 3-valued logic related to Gödel logic G3. Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	Blocking the Routes to Triviality with Depth Relevance. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2014	J	`jnl`	Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Stud Logica Gemma Robles, José M. Méndez
2014	J	`jnl`	Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3. J. Philos. Log. Gemma Robles, Francisco Salto, José M. Méndez
2014	J	`jnl`	Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame J. Formal Log. Gemma Robles, José M. Méndez
2014	J	`jnl`	The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2013	J	`jnl`	A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart. Logica Universalis Gemma Robles
2012	J	`jnl`	A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame J. Formal Log. José M. Méndez, Gemma Robles
2012	J	`jnl`	Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. Reports Math. Log. Gemma Robles
2012	J	`jnl`	Ticket Entailment plus the mingle axiom has the variable-sharing property. Log. J. IGPL José M. Méndez, Gemma Robles, Francisco Salto
2011	J	`jnl`	A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. Log. J. IGPL Gemma Robles, José M. Méndez
2010	J	`jnl`	A Routley-Meyer Type Semantics for Relevant Logics Including B J. Philos. Log. Gemma Robles, José M. Méndez
2010	J	`jnl`	Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. Reports Math. Log. Gemma Robles
2010	J	`jnl`	Paraconsistent Logics Included in Lewis' S4. Rev. Symb. Log. Gemma Robles, José M. Méndez
2009	J	`jnl`	Relevance logics and intuitionistic negation II. J. Appl. Non Class. Logics Gemma Robles
2009	J	`jnl`	Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2009	J	`jnl`	The Basic Constructive Logic for Absolute Consistency. J. Log. Lang. Inf. José M. Méndez, Gemma Robles
2008	J	`jnl`	Relevance logics and intuitionistic negation. J. Appl. Non Class. Logics José M. Méndez, Gemma Robles
2008	J	`jnl`	The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. Log. J. IGPL Gemma Robles
2008	J	`jnl`	The Basic Constructive Logic for Negation-Consistency. J. Log. Lang. Inf. Gemma Robles
2008	J	`jnl`	The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. Log. J. IGPL Gemma Robles, José M. Méndez
2008	J	`jnl`	The basic constructive logic for a weak sense of consistency. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2007	J	`jnl`	Minimal non-relevant logics without the K axiom. Reports Math. Log. Gemma Robles, José M. Méndez
2005	J	`jnl`	A constructive negation for logics including TW+. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2005	J	`jnl`	Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. Gemma Robles, José M. Méndez, Francisco Salto
2002	J	`jnl`	Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports Math. Log. José M. Méndez, Francisco Salto, Gemma Robles