Sérgio Marcelino

Available identifiers

zbMath Open marcelino.sergioMaRDI QIDQ1682297

List of research outcomes

Publication	Date of Publication	Type
On logics of perfect paradefinite algebras	2025-01-13	Paper
Monadicity of non-deterministic logical matrices is undecidable	2025-01-09	Paper
Finite Hilbert systems for weak Kleene logics	2024-11-25	Paper
Axiomatizing non-deterministic many-valued generalized consequence relations	2023-12-14	Paper
Some more theorems on structural entailment relations and non-deterministic semantics	2023-10-04	Paper
Finite axiomatizability of logics of distributive lattices with negation	2023-07-06	Paper
Computational properties of finite PNmatrices	2023-01-04	Paper
An unexpected Boolean connective	2022-09-01	Paper
Computational properties of partial non-deterministic matrices and their logics	2022-07-01	Paper
Proof search on bilateralist judgments over non-deterministic semantics	2022-05-25	Paper
Modular many-valued semantics for combined logics	2022-02-04	Paper
On Axioms and Rexpansions	2022-01-04	Paper
Proof Search on Bilateralist Judgments over Non-deterministic Semantics	2021-07-17	Paper
On Logics of Perfect Paradefinite Algebras	2021-06-17	Paper
An unexpected Boolean connective	2021-02-10	Paper
On axioms and rexpansions	2021-02-10	Paper
Logics of involutive Stone algebras	2021-02-10	Paper
Plug and Play Negations	2020-08-06	Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations	2020-03-12	Paper
Analytic calculi for monadic PNmatrices	2020-03-04	Paper
Combining fragments of classical logic: when are interaction principles needed?	2019-08-12	Paper
Decidability and complexity of fibred logics without shared connectives	2019-01-08	Paper
Characterizing finite-valuedness	2018-10-16	Paper
On the characterization of fibred logics, with applications to conservativity and finite-valuedness	2018-02-13	Paper
Merging fragments of classical logic	2018-01-04	Paper
Disjoint fibring of non-deterministic matrices	2017-12-20	Paper
Locally tabular \(\neq \) locally finite	2017-11-29	Paper
Deciding Theoremhood in Fibred Logics Without Shared Connectives	2017-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5419892	2014-06-11	Paper
Global view on reactivity: switch graphs and their logics	2013-02-18	Paper
Non-finitely axiomatisable two-dimensional modal logics	2012-09-19	Paper
Modal logics of reactive frames	2010-03-17	Paper
An algebraic generalization of Kripke structures	2008-11-28	Paper
Finite Hilbert systems for Weak Kleene logics	N/A	Paper
Generating proof systems for three-valued propositional logics	N/A	Paper
Axiomatizing the Logic of Ordinary Discourse	N/A	Paper

Research outcomes over time

This page was built for person: Sérgio Marcelino