Tree-Sequent Methods for Subintuitionistic Predicate Logics.

Ryo Ishigaki, Kentaro Kikuchi

Browse the full TABLEAUX paper archive.