Publicacions en col·laboració amb investigadors/es de Universidade Federal de Santa Catarina (1)

2024

  1. Adding an implication to logics of perfect paradefinite algebras

    Mathematical Structures in Computer Science