%0 Journal Article %1 journals/rsl/KowalskiO17 %A Kowalski, Tomasz %A Ono, Hiroakira %D 2017 %J Rev. Symb. Log. %K dblp %N 2 %P 259-283 %T Analytic Cut and interpolation for bi-intuitionistic Logic. %U http://dblp.uni-trier.de/db/journals/rsl/rsl10.html#KowalskiO17 %V 10

@article{journals/rsl/KowalskiO17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Kowalski, Tomasz and Ono, Hiroakira}, biburl = {https://www.bibsonomy.org/bibtex/28f71cf8213e21e804c6fa642a7b937c8/dblp}, ee = {https://doi.org/10.1017/S175502031600040X}, interhash = {44b44bd25adc95eddb96218c5697825e}, intrahash = {8f71cf8213e21e804c6fa642a7b937c8}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 2, pages = {259-283}, timestamp = {2019-08-21T11:41:26.000+0200}, title = {Analytic Cut and interpolation for bi-intuitionistic Logic.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl10.html#KowalskiO17}, volume = 10, year = 2017 }