An expansion of first-order Belnap-Dunn logic

Katsuhiko Sano, Hitoshi Omori. An expansion of first-order Belnap-Dunn logic. Logic Journal of the IGPL, 22(3):458-481, 2014. [doi]

Abstract

Abstract is missing.