Publicacións en colaboración con investigadores/as de Universidade de Lisboa (10)

2024

  1. Adding an implication to logics of perfect paradefinite algebras

    Mathematical Structures in Computer Science

  2. Finite Hilbert Systems for Weak Kleene Logics

    Studia Logica

  3. Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics

    Outstanding Contributions to Logic (Springer Science and Business Media B.V.), pp. 345-375

2023

  1. Finite axiomatizability of logics of distributive lattices with negation

    Logic Journal of the IGPL, Vol. 31, Núm. 3, pp. 510-533

2022

  1. Logics of involutive Stone algebras

    Soft Computing, Vol. 26, Núm. 7, pp. 3147-3160

  2. On Logics of Perfect Paradefinite Algebras

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2018

  1. Characterizing Finite-Valuedness

    Fuzzy Sets and Systems, Vol. 345, pp. 113-125

  2. Plug and Play Negations

    Trends in Logic (Springer Science and Business Media B.V.), pp. 307-322

2017

  1. Locally Tabular ≠ Locally Finite

    Logica Universalis, Vol. 11, Núm. 3, pp. 383-400

2015

  1. Cities in Citizens' Hands

    Procedia Computer Science