Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic.

Hiroakira Ono, Katsuhiko Sano

Browse the full AiML paper archive.