A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable

From MaRDI portal
Publication:6098217

DOI10.1007/S10992-022-09692-2MaRDI QIDQ6098217

José M. Méndez, Gemma Robles

Publication date: 13 June 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)







Cites Work




This page was built for publication: A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable