%0 Journal Article %1 journals/igpl/IshigakiK07 %A Ishigaki, Ryo %A Kikuchi, Kentaro %D 2007 %J Logic Journal of the IGPL %K dblp %N 2 %P 149-164 %T A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. %U http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#IshigakiK07 %V 15

@article{journals/igpl/IshigakiK07, added-at = {2007-06-13T00:00:00.000+0200}, author = {Ishigaki, Ryo and Kikuchi, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/2a41f3de54d2034913b64bf0f41decaf8/dblp}, date = {2007-06-13}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzm004}, interhash = {a88f63c0da3c2e5d7fe01e3932e12216}, intrahash = {a41f3de54d2034913b64bf0f41decaf8}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 2, pages = {149-164}, timestamp = {2007-06-15T08:12:12.000+0200}, title = {A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#IshigakiK07}, volume = 15, year = 2007 }