Gemma Robles

Available identifiers

zbMath Open robles.gemmaMaRDI QIDQ590824

List of research outcomes

Publication	Date of Publication	Type
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)	2024-02-29	Paper
A Variety of DeMorgan Negations in Relevant Logics	2023-10-31	Paper
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	2023-07-06	Paper
A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable	2023-06-13	Paper
A Note on Gödel-Dummet Logic LC	2023-05-04	Paper
A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE	2023-03-31	Paper
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP	2023-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5871538	2023-01-20	Paper
Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4	2022-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5039153	2022-10-12	Paper
A basic quasi-Boolean logic of intuitionistic character	2021-06-11	Paper
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix	2019-11-04	Paper
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4	2017-11-17	Paper
A simple Henkin-style completeness proof for Gödel 3-valued logic G3	2017-05-18	Paper
Relational semantics for the 4-valued relevant logics BN4 and E4	2017-05-18	Paper
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property	2017-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4982330	2015-04-09	Paper
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart	2015-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5413330	2014-04-29	Paper
Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem	2014-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5411421	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3086529	2011-03-30	Paper
Negation introduced with the unary connective	2010-02-05	Paper
The basic constructive logic for negation-consistency	2009-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q3520603	2008-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3512159	2008-07-11	Paper
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant	2008-06-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gemma Robles