A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
ISSN: 1573-0433, 0022-3611
Year of publication: 2023
Volume: 52
Issue: 3
Pages: 915-938
Type: Article
ISSN: 1573-0433, 0022-3611
Year of publication: 2023
Volume: 52
Issue: 3
Pages: 915-938
Type: Article