Publications en collaboration avec des chercheurs de Universidade de Lisboa (8)

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