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
Ano de publicación: 2023
Volume: 52
Número: 3
Páxinas: 915-938
Tipo: Artigo
ISSN: 1573-0433, 0022-3611
Ano de publicación: 2023
Volume: 52
Número: 3
Páxinas: 915-938
Tipo: Artigo