Publicacións en colaboración con investigadores/as de Universidade Federal do Rio Grande do Norte (28)

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. Algebraizability of the Logic of Quasi-N4-Lattices

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Fragments of Quasi-Nelson: The Algebraizable Core

    Logic Journal of the IGPL, Vol. 30, Núm. 5, pp. 807-839

  3. Logics of involutive Stone algebras

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

  4. On Logics of Perfect Paradefinite Algebras

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  5. Prelinearity in (quasi-)Nelson logic

    Fuzzy Sets and Systems, Vol. 445, pp. 66-89

  6. Quasi-N4-lattices

    Soft Computing, Vol. 26, Núm. 6, pp. 2671-2688

2021

  1. A duality for two-sorted lattices

    Soft Computing, Vol. 25, Núm. 2, pp. 851-868

  2. Inflationary BL-Algebras Obtained from 2-Dimensional General Overlap Functions

    Fuzzy Sets and Systems, Vol. 418, pp. 64-83

  3. Negation and Implication in Quasi-Nelson Logic

    Logical Investigations, Vol. 27, Núm. 1, pp. 107-123

  4. Quasi-Nelson algebras and fragments

    Mathematical Structures in Computer Science, Vol. 31, Núm. 3, pp. 257-285

  5. Quasi-Nelson; Or, Non-involutive Nelson Algebras

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

2020

  1. Bilattice logic of epistemic actions and knowledge

    Annals of Pure and Applied Logic, Vol. 171, Núm. 6

  2. Fragments of quasi-nelson: Two negations

    Journal of Applied Logics, Vol. 7, Núm. 4, pp. 499-559

  3. Nelson's Logic S

    Logic Journal of the IGPL, Vol. 28, Núm. 6, pp. 1182-1206

  4. Non-involutive twist-structures

    Logic Journal of the IGPL, Vol. 28, Núm. 5, pp. 973-999

  5. On the representation of (weak) nilpotent minimum algebras

    IEEE International Conference on Fuzzy Systems

  6. Representation of De Morgan and (Semi-)Kleene Lattices

    Soft Computing, Vol. 24, Núm. 12, pp. 8685-8716

  7. Two Dualities for Weakly Pseudo-Complemented Quasi-Kleene Algebras

    Communications in Computer and Information Science

2019

  1. Bilattice logic properly displayed

    Fuzzy Sets and Systems, Vol. 363, pp. 138-155