A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.

Ryo Ishigaki Kentaro Kikuchi A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. 149-164 2007 15 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/jzm004 db/journals/igpl/igpl15.html#IshigakiK07