Hajime Ishihara. A Canonical Model Construction for Substructural Logics. J. UCS, 6(1):155-168, 2000. [doi]
@article{Ishihara00, title = {A Canonical Model Construction for Substructural Logics}, author = {Hajime Ishihara}, year = {2000}, url = {http://www.jucs.org/jucs_6_1/a_canonical_model_construction}, tags = {meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/Ishihara00}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {6}, number = {1}, pages = {155-168}, }