Bi-Intuitionistic Logics: A New Instance of an Old Problem.

Rajeev Gor, Ian Shillito

Browse the full AiML paper archive.