Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.

Rajeev Gor, Linda Postniece, Alwen Tiu

Browse the full AiML paper archive.