Completeness of First-Order Bi-Intuitionistic Logic.

Dominik Kirst, Ian Shillito

Browse the full CSL paper archive.