{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:03:47Z","timestamp":1759147427922},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3298,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2005,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a <jats:italic>knotted structural rule<\/jats:italic>: <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200007209_inline1\" \/>. It is proved that the class of algebraic models for such a logic has the <jats:italic>finite embeddability property<\/jats:italic>, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property with respect to its algebraic semantics and hence that the logic is decidable.<\/jats:p>","DOI":"10.2178\/jsl\/1107298511","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T16:55:03Z","timestamp":1109782503000},"page":"84-98","source":"Crossref","is-referenced-by-count":12,"title":["The finite model property for knotted extensions of propositional linear logic"],"prefix":"10.1017","volume":"70","author":[{"given":"C. J.","family":"van Alten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007209_ref010","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000032087.02579.e2"},{"key":"S0022481200007209_ref003","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094061862"},{"key":"S0022481200007209_ref009","volume-title":"Lectures on linear logic","volume":"29","author":"Troelstra","year":"1992"},{"key":"S0022481200007209_ref004","first-page":"1202","volume":"62","author":"Lafont","year":"1997","journal-title":"The finite model property for various fragments of linear logic"},{"key":"S0022481200007209_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(92)90075-B"},{"key":"S0022481200007209_ref006","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100003844"},{"key":"S0022481200007209_ref008","volume-title":"Substructural logics","author":"Ono","year":"1993"},{"key":"S0022481200007209_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/s000120200000"},{"key":"S0022481200007209_ref002","article-title":"On the finite embeddability property for residuated ordered groupoids","author":"Blok","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200007209_ref007","first-page":"790","volume":"64","author":"Okada","year":"1999","journal-title":"The finite model property for various fragments of intuitionistic linear logic"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:16:02Z","timestamp":1556903762000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007209\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["S0022481200007209"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1107298511","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}