{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:10:41Z","timestamp":1649153441918},"reference-count":14,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.457-483","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:06:10Z","timestamp":1176296770000},"page":"457-483","source":"Crossref","is-referenced-by-count":1,"title":["Description of all functions definable by formul\u00e6 of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras"],"prefix":"10.1080","volume":"16","author":[{"given":"Dimitri","family":"Pataraia","sequence":"first","affiliation":[{"name":"a Razmadze Mathematical Institute , Tbilisi , 0193 , Georgia"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_16"},{"key":"CIT0003","first-page":"91","volume-title":"Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998., vol. 13 of Lecture Notes in Logic","author":"BAAZ M."},{"key":"CIT0004","volume-title":"Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type \u03c9","author":"BAAZ M.","year":"2006"},{"key":"CIT0005","volume-title":"REDLOG home page","author":"DOLZMANN A.","year":"1999"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/BF02015377"},{"key":"CIT0007","volume-title":"Second-Order Quantifier Elimination: Mathematical Foundations, Computational Aspects and Applications","author":"GABBAY D. M.","year":"2006"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009890"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"HENKIN L.","year":"1963","journal-title":"Fundamenta Mathematic\u00e6"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.2307\/2270905"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.2307\/2275175"},{"key":"CIT0012","first-page":"223","volume-title":"Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings., vol. 2424 of Lecture Notes in Computer Science","author":"SZA\u0141AS A."},{"key":"CIT0013","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"TARSKI A.","year":"1948"},{"key":"CIT0014","volume-title":"Mathematica 5.2 Documentation \u2013 resolve function","author":"WOLFRAM RESEARCH","year":"2006"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.457-483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T07:28:24Z","timestamp":1556350104000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.457-483"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":14,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.457-483"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.457-483","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}