Sérgio Marcelino

According to our database, Sérgio Marcelino authored at least 29 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Generating proof systems for three-valued propositional logics.

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio

CoRR, 2024

Finite Hilbert systems for Weak Kleene logics.

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2024

2023

Finite axiomatizability of logics of distributive lattices with negation.

Sérgio Marcelino, Umberto Rivieccio

Log. J. IGPL, May, 2023

Some more theorems on structural entailment relations and non-deterministic semantics.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2023

Adding an Implication to Logics of Perfect Paradefinite Algebras.

Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

CoRR, 2023

2022

Logics of involutive Stone algebras.

Sérgio Marcelino, Umberto Rivieccio

Soft Comput., 2022

An Unexpected Boolean Connective.

Sérgio Marcelino

Logica Universalis, 2022

Computational properties of finite PNmatrices.

Pedro Filipe, Sérgio Marcelino, Carlos Caleiro

J. Log. Comput., 2022

Monadicity of Non-deterministic Logical Matrices is Undecidable.

Pedro Filipe, Carlos Caleiro, Sérgio Marcelino

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Modular many-valued semantics for combined logics.

Carlos Caleiro, Sérgio Marcelino

CoRR, 2022

Computational Properties of Partial Non-deterministic Matrices and Their Logics.

Sérgio Marcelino, Carlos Caleiro, Pedro Filipe

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Axiomatizing non-deterministic many-valued generalized consequence relations.

Sérgio Marcelino, Carlos Caleiro

Synth., 2021

On Logics of Perfect Paradefinite Algebras.

Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati, Sérgio Marcelino, João Marcos

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.

Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino

Ann. Pure Appl. Log., 2020

Infectious semantics and analytic calculi for even more inclusion logics.

Carlos Caleiro, Sérgio Marcelino, Pedro Filipe

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

2019

Combining fragments of classical logic: When are interaction principles needed?

Carlos Caleiro, Sérgio Marcelino, João Marcos

Soft Comput., 2019

Analytic Calculi for Monadic PNmatrices.

Carlos Caleiro, Sérgio Marcelino

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Characterizing finite-valuedness.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

Fuzzy Sets Syst., 2018

2017

Locally Tabular \(\ne \) Locally Finite.

Sérgio Marcelino, Umberto Rivieccio

Logica Universalis, 2017

On the characterization of fibred logics, with applications to conservativity and finite-valuedness.

Sérgio Marcelino, Carlos Caleiro

J. Log. Comput., 2017

Disjoint Fibring of Non-deterministic Matrices.

Sérgio Marcelino, Carlos Caleiro

Proceedings of the Logic, Language, Information, and Computation, 2017

Merging Fragments of Classical Logic.

Carlos Caleiro, Sérgio Marcelino, João Marcos

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Decidability and complexity of fibred logics without shared connectives.

Sérgio Marcelino, Carlos Caleiro

Log. J. IGPL, 2016

2012

Non-finitely axiomatisable two-dimensional modal logics.

Agi Kurucz, Sérgio Marcelino

J. Symb. Log., 2012

Global view on reactivity: switch graphs and their logics.

Dov M. Gabbay, Sérgio Marcelino

Ann. Math. Artif. Intell., 2012

Finite Frames for K4.3 x S5 Are Decidable.

Agi Kurucz, Sérgio Marcelino

Proceedings of the Advances in Modal Logic 9, 2012

2009

Modal Logics of Reactive Frames.

Dov M. Gabbay, Sérgio Marcelino

Stud Logica, 2009

2007

An algebraic generalization of Kripke structures

Sérgio Marcelino, Pedro Resende

CoRR, 2007