%0 Journal Article %1 journals/ndjfl/IshiiKK01 %A Ishii, Katsumasa %A Kashima, Ryo %A Kikuchi, Kentaro %D 2001 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 1-22 %T Sequent Calculi for Visser's Propositional Logics. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl42.html#IshiiKK01 %V 42

@article{journals/ndjfl/IshiiKK01, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ishii, Katsumasa and Kashima, Ryo and Kikuchi, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/28b0d609a04febad0cc6686fbb45f7c96/dblp}, ee = {https://doi.org/10.1305/ndjfl/1054301352}, interhash = {899ce498cf72d5f79f00d219805790f7}, intrahash = {8b0d609a04febad0cc6686fbb45f7c96}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {1-22}, timestamp = {2024-04-08T18:21:56.000+0200}, title = {Sequent Calculi for Visser's Propositional Logics.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl42.html#IshiiKK01}, volume = 42, year = 2001 }