Speaker
José M. Méndez
Talks at this conference:
| Tue, 12:10 | A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable. Live |
Speaker
| Tue, 12:10 | A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable. Live |