%0 Journal Article %1 journals/jucs/Ishihara00 %A Ishihara, Hajime %D 2000 %J J. Univers. Comput. Sci. %K dblp %N 1 %P 155-168 %T A Canonical Model Construction for Substructural Logics. %U http://dblp.uni-trier.de/db/journals/jucs/jucs6.html#Ishihara00 %V 6

@article{journals/jucs/Ishihara00, added-at = {2023-09-07T00:00:00.000+0200}, author = {Ishihara, Hajime}, biburl = {https://www.bibsonomy.org/bibtex/29b10606d3bfdf1474cbab10f7bb10f27/dblp}, ee = {https://doi.org/10.3217/jucs-006-01-0155}, interhash = {6728416e1fb1e2b43770ce10132f5c69}, intrahash = {9b10606d3bfdf1474cbab10f7bb10f27}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {155-168}, timestamp = {2024-04-08T15:58:43.000+0200}, title = {A Canonical Model Construction for Substructural Logics.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs6.html#Ishihara00}, volume = 6, year = 2000 }