A Canonical Model Construction for Substructural Logics

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},
}