Publicaciones en colaboración con investigadores/as de Universidade de Lisboa (9)

2024

  1. Finite Hilbert Systems for Weak Kleene Logics

    Studia Logica

  2. 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