{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T17:53:08Z","timestamp":1723225988836},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2015,5]]},"abstract":"<jats:p> The finite embeddability property (FEP) for knotted extensions of residuated lattices holds under the assumption of commutativity, but fails in the general case. We identify weaker forms of the commutativity identity which ensure that the FEP holds. The results have applications outside of order algebra to non-classical logic, establishing the strong finite model property (SFMP) and the decidability for deductions, as well as to mathematical linguistics and automata theory, providing new conditions for recognizability of languages. Our proofs make use of residuated frames, developed in the context of algebraic proof theory. <\/jats:p>","DOI":"10.1142\/s0218196715500010","type":"journal-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T11:12:11Z","timestamp":1418987531000},"page":"349-379","source":"Crossref","is-referenced-by-count":2,"title":["The finite embeddability property for noncommutative knotted extensions of RL"],"prefix":"10.1142","volume":"25","author":[{"given":"R.","family":"Cardona","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Denver, 2280 S. Vine St., Denver, CO 80208, USA"}]},{"given":"N.","family":"Galatos","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Denver, 2280 S. Vine St., Denver, CO 80208, USA"}]}],"member":"219","published-online":{"date-parts":[[2015,4,9]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-1.1.399"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2012-05573-5"},{"key":"rf3","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(07)80005-X","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","volume":"151","author":"Galatos N.","year":"2007"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"rf5","author":"Hor\u010d\u00edk R.","year":"2015","journal-title":"J. Pure Appl. Algebra"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094061862"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000227"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100039062"},{"key":"rf10","first-page":"339","volume":"37","author":"Poll\u00e1k G.","year":"1975","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1107298511"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1939-1501995-3"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196715500010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T04:04:31Z","timestamp":1565150671000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196715500010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,9]]},"references-count":11,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2015,4,9]]},"published-print":{"date-parts":[[2015,5]]}},"alternative-id":["10.1142\/S0218196715500010"],"URL":"https:\/\/doi.org\/10.1142\/s0218196715500010","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,9]]}}}