@article{48ff3801ce8341fc88870f38cd81ad4c,
title = "Some properties of linear logic proved by semantic methods",
abstract = "We construct several simple algebraic models of the multiplicative and multiplicative-additive fragments of linear logic and demonstrate the value of such models by proving some unexpected proof-theoretical properties of these fragments.",
keywords = "Algebraic models, Linear logic",
author = "Arnon Avron",
note = "Funding Information: Part of this research was done while the author was visiting the Computer Science Department of Edinburgh University, and was supported by grants from the British Academy of Science and the UK Science and Engineering Research Council (Visiting Fellowship number GR/G 55471).",
year = "1994",
month = dec,
doi = "10.1093/logcom/4.6.929",
language = "אנגלית",
volume = "4",
pages = "929--938",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "6",
}