Gemma Robles

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic \(\mathrm{B}^{\mathrm{d}}\)
Logic Journal of the IGPL
2024-11-15Paper
Correction to: ``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
2024-11-15Paper
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
Bulletin of the Section of Logic
2024-02-29Paper
A Variety of DeMorgan Negations in Relevant Logics
The Australasian Journal of Logic
2023-10-31Paper
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
2023-07-06Paper
A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
Journal of Philosophical Logic
2023-06-13Paper
A Note on Gödel-Dummet Logic LC
Bulletin of the Section of Logic
2023-05-04Paper
A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE2023-03-31Paper
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
Journal Of Logic And Computation
2023-03-30Paper
scientific article; zbMATH DE number 7644095 (Why is no real title available?)2023-01-20Paper
Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4
Logic and Logical Philosophy
2022-12-20Paper
The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's first degree entailment logic2022-10-12Paper
A basic quasi-Boolean logic of intuitionistic character
Journal of Applied Non-Classical Logics
2021-06-11Paper
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix
Logic Journal of the IGPL
2019-11-04Paper
A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
Bulletin of the Section of Logic
2017-11-17Paper
Relational semantics for the 4-valued relevant logics BN4 and E4
Logic and Logical Philosophy
2017-05-18Paper
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
Logic and Logical Philosophy
2017-05-18Paper
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property2017-04-04Paper
An interpretation of Łukasiewicz's 4-valued modal logic
Journal of Philosophical Logic
2016-04-04Paper
scientific article; zbMATH DE number 6423725 (Why is no real title available?)2015-04-09Paper
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
Logica Universalis
2015-02-05Paper
scientific article; zbMATH DE number 6290302 (Why is no real title available?)2014-04-29Paper
Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem2014-04-25Paper
scientific article; zbMATH DE number 6287575 (Why is no real title available?)2014-04-23Paper
Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
Logique et Analyse. Nouvelle Série
2012-08-06Paper
Ticket entailment plus the mingle axiom has the variable-sharing property
Logic Journal of the IGPL
2012-08-01Paper
A general characterization of the variable-sharing property by means of logical matrices
Notre Dame Journal of Formal Logic
2012-07-11Paper
Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective2011-03-30Paper
Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
Journal of Applied Non-Classical Logics
2010-02-05Paper
The basic constructive logic for negation-consistency
Journal of Logic, Language and Information
2009-03-24Paper
scientific article; zbMATH DE number 5316399 (Why is no real title available?)2008-08-26Paper
scientific article; zbMATH DE number 5300189 (Why is no real title available?)2008-07-11Paper
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant
Logic Journal of the IGPL
2008-06-27Paper


Research outcomes over time


This page was built for person: Gemma Robles