E-LIB Suche - Ergebnisse für: Marcelino, Sérgio

1

Some More Theorems on Structural Entailment Relations and N..:

, In: Janusz Czelakowski on Logical Consequence; Outstanding Contributions to Logic,

Caleiro, Carlos ; Marcelino, Sérgio ; Rivieccio, Umberto - p. 345-375 , 2024

Link: https://doi.org/10.1007/..

2

Finite Hilbert Systems for Weak Kleene Logics:

Greati, Vitor ; Marcelino, Sérgio ; Rivieccio, Umberto
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

3

MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS:

CALEIRO, CARLOS ; MARCELINO, SÉRGIO
The Journal of Symbolic Logic. , 2023

Link: https://doi.org/10.1017/..

4

Logics of involutive Stone algebras:

Marcelino, Sérgio ; Rivieccio, Umberto
Soft Computing. 26 (2022) 7 - p. 3147-3160 , 2022

Link: https://doi.org/10.1007/..

5

Decidability Preservation and Complexity Bounds for Combine..:

Caleiro, Carlos ; Marcelino, Sérgio
Mathematics. 10 (2022) 19 - p. 3481 , 2022

Link: https://doi.org/10.3390/..

6

Finite axiomatizability of logics of distributive lattices ..:

Marcelino, Sérgio ; Rivieccio, Umberto
Logic Journal of the IGPL. 31 (2022) 3 - p. 510-533 , 2022

Link: https://doi.org/10.1093/..

7

Computational properties of finite PNmatrices:

Filipe, Pedro ; Marcelino, Sérgio ; Caleiro, Carlos
Journal of Logic and Computation. 32 (2022) 8 - p. 1694-1719 , 2022

Link: https://doi.org/10.1093/..

8

On Axioms and Rexpansions:

, In: Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics,

Caleiro, Carlos ; Marcelino, Sérgio - p. 39-69 , 2021

Link: https://doi.org/10.1007/..

9

Proof Search on Bilateralist Judgments over Non-determinist..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Greati, Vitor ; Marcelino, Sérgio ; Marcos, João - p. 129-146 , 2021

Link: https://doi.org/10.1007/..

10

An Unexpected Boolean Connective:

Marcelino, Sérgio
Logica Universalis. 16 (2021) 1-2 - p. 85-103 , 2021

Link: https://doi.org/10.1007/..

11

Computational Properties of Partial Non-deterministic Matri..:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Marcelino, Sérgio ; Caleiro, Carlos ; Filipe, Pedro - p. 180-197 , 2021

Link: https://doi.org/10.1007/..

12

Non-finitely axiomatisable modal product logics with infini..:

Hampson, Christopher ; Kikot, Stanislav ; Kurucz, Agi.
Annals of Pure and Applied Logic. 171 (2020) 5 - p. 102786 , 2020

Link: https://doi.org/10.1016/..

13

Infectious semantics and analytic calculi for even more inc..:

, In: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL),

Caleiro, Carlos ; Marcelino, Sergio ; Filipe, Pedro - p. 224-229 , 2020

Link: https://doi.org/10.1109/..

14

Analytic Calculi for Monadic PNmatrices:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Caleiro, Carlos ; Marcelino, Sérgio - p. 84-98 , 2019

Link: https://doi.org/10.1007/..

15

Axiomatizing non-deterministic many-valued generalized cons..:

Marcelino, Sérgio ; Caleiro, Carlos
Synthese. 198 (2019) S22 - p. 5373-5390 , 2019

Link: https://doi.org/10.1007/..