João Marcos

Available identifiers

zbMath Open marcos.joaoWikidataQ22056318 ScholiaQ22056318MaRDI QIDQ276031

List of research outcomes

Publication	Date of Publication	Type
What is a logical theory? On theories containing assertions and denials	2023-12-14	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5869599	2022-09-28	Paper
Proof search on bilateralist judgments over non-deterministic semantics	2022-05-25	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics	2022-05-18	Paper
Nelson’s logic 𝒮	2022-01-18	Paper
Proof Search on Bilateralist Judgments over Non-deterministic Semantics	2021-07-17	Paper
On Logics of Perfect Paradefinite Algebras	2021-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5212292	2020-01-28	Paper
Combining fragments of classical logic: when are interaction principles needed?	2019-08-12	Paper
Algebraic semantics for Nelson's logic \(\mathcal{S}\)	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4583680	2018-09-03	Paper
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions	2018-07-16	Paper
An Inferentially Many-Valued Two-Dimensional Notion of Entailment	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4636049	2018-04-23	Paper
Algebraic Semantics for Nelson's Logic S	2018-03-28	Paper
Merging fragments of classical logic	2018-01-04	Paper
Sequent systems for negative modalities	2017-11-29	Paper
Negative modalities, consistency and determinedness	2016-04-26	Paper
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics	2015-10-12	Paper
Clausal Resolution for Modal Logics of Confluence	2014-09-26	Paper
Logics of Formal Inconsistency	2013-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4918415	2013-04-24	Paper
On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication	2012-09-21	Paper
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics	2012-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3112291	2012-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3086718	2011-03-30	Paper
Possible-translations semantics for some weak classically-based paraconsistent logics	2009-11-30	Paper
What is a non-truth-functional logic?	2009-11-16	Paper
Classic-Like Analytic Tableaux for Finite-Valued Logics	2009-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q3606211	2009-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q3520845	2008-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3435235	2007-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q3367515	2006-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5311062	2005-08-22	Paper
On negation: Pure local rules	2005-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472210	2004-08-04	Paper
Limits for paraconsistent calculi	2003-03-27	Paper
Formal inconsistency and evolutionary databases	2002-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4440555	2002-01-01	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: João Marcos