A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
- Robles, G.
- Méndez, J.M.
ISSN: 1573-0433, 0022-3611
Año de publicación: 2023
Volumen: 52
Número: 3
Páginas: 915-938
Tipo: Artículo
ISSN: 1573-0433, 0022-3611
Año de publicación: 2023
Volumen: 52
Número: 3
Páginas: 915-938
Tipo: Artículo