Publikationen in Zusammenarbeit mit Forschern von 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