Algebraizability of the Logic of Quasi-N4-Lattices
- Neto, C.S.L.
- da Silva, T.N.
- Rivieccio, U.
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Argitalpen urtea: 2022
Alea: 358
Orrialdeak: 240-253
Mota: Biltzar ekarpena
