Algebraizability of the Logic of Quasi-N4-Lattices
- Neto, C.S.L.
- da Silva, T.N.
- Rivieccio, U.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2022
Volume: 358
Páxinas: 240-253
Tipo: Achega congreso