Sérgio Marcelino

Available identifiers

zbMath Open marcelino.sergioMaRDI QIDQ1682297

List of research outcomes

Publication	Date of Publication	Type
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

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: Sérgio Marcelino