Publicacións en colaboración con investigadores/as de Universidade Federal de Santa Catarina (1)

2024

  1. Adding an implication to logics of perfect paradefinite algebras

    Mathematical Structures in Computer Science