Finite axiomatizability of logics of distributive lattices with negation
- Marcelino, S.
- Rivieccio, U.
ISSN: 1368-9894, 1367-0751
Año de publicación: 2023
Volumen: 31
Número: 3
Páginas: 510-533
Tipo: Artículo
Revista:
Logic Journal of the IGPL