A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.

Published in: J. Philos. Log. (2023)

Keyphrases