{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:54:49Z","timestamp":1773939289480,"version":"3.50.1"},"reference-count":46,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2019,4,3]]},"DOI":"10.1080\/11663081.2018.1547515","type":"journal-article","created":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T08:37:24Z","timestamp":1543480644000},"page":"152-170","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":8,"title":["Lattice logic as a fragment of (2-sorted) residuated modal logic"],"prefix":"10.1080","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3436-4844","authenticated-orcid":false,"given":"Chrysafis","family":"Hartonas","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of Applied Sciences of Thessaly (TEI of Thessaly), Thessaly, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2018,11,29]]},"reference":[{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1998.10510945"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284976"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.07.002"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2014.07.005"},{"key":"CIT0010","volume-title":"Varieties of interior algebras","author":"Blok W. J.","year":"1976"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370331"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-012-9287-2"},{"issue":"3","key":"CIT0015","first-page":"396","volume":"32","author":"Dummett M. A. E.","year":"1967","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0016","volume-title":"A mathematical introduction to logic","author":"Enderton H. B.","year":"1972"},{"key":"CIT0017","first-page":"147","volume":"15","author":"Esakia L.","year":"1974","journal-title":"Soviet Math Dokl"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.013"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-9008-7"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.2000.8622"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-14428"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/BF00652069"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"CIT0027","volume-title":"General lattice theory","author":"Gr\u00e4tzer G.","year":"2003","edition":"2"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.2307\/2270875"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0114.1982.tb00093.x"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004982417404"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv051"},{"issue":"3","key":"CIT0033","first-page":"647","volume":"4","author":"Hartonas C.","year":"2017","journal-title":"IFCoLog Journal of Logics and their Applications"},{"issue":"2","key":"CIT0034","first-page":"145","volume":"25","author":"Hartonas C.","year":"2017","journal-title":"Oxford Logic Journal of the IGPL"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-016-9417-7"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzy010"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050024"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190610"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"CIT0047","first-page":"8127","volume":"74","author":"J\u00f3nsson B.","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"CIT0048","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/FI-1996-272305","volume":"27","author":"Kent R.","year":"1996","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"CIT0050","first-page":"1029","volume":"195","author":"Kuznetsov A.","year":"1970","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1137\/0206033"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463150"},{"issue":"4","key":"CIT0053","first-page":"96","volume":"9","author":"Mckinsey J. C. C.","year":"1944","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.2307\/2267027"},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210118"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4"},{"key":"CIT0059","first-page":"75","volume":"5","author":"Plo\u0161\u010dica M.","year":"1995","journal-title":"Tatra Mountains Mathematical Publications"},{"key":"CIT0060","doi-asserted-by":"publisher","DOI":"10.1080\/03081079.2013.862377"},{"key":"CIT0061","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/2.2.186"},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1129642117"},{"key":"CIT0064","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485369"},{"key":"CIT0066","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.5.601"},{"key":"CIT0067","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90120-7"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2018.1547515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T08:09:51Z","timestamp":1605514191000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2018.1547515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,29]]},"references-count":46,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,3,28]]},"published-print":{"date-parts":[[2019,4,3]]}},"alternative-id":["10.1080\/11663081.2018.1547515"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2018.1547515","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,29]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2018-01-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-29","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-11-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}