{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,10]],"date-time":"2022-11-10T13:28:36Z","timestamp":1668086916640},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,6,22]],"date-time":"2016-06-22T00:00:00Z","timestamp":1466553600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11225-016-9677-9","type":"journal-article","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T03:49:46Z","timestamp":1466653786000},"page":"1287-1317","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Cofinal Stable Logics"],"prefix":"10.1007","volume":"104","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[]},{"given":"Julia","family":"Ilin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"9677_CR1","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia, MO (1974)"},{"issue":"4","key":"9677_CR2","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/PL00000358","volume":"46","author":"G. Bezhanishvili","year":"2001","unstructured":"Bezhanishvili G.: Locally finite varieties. Algebra Universalis 46(4), 531\u2013548 (2001)","journal-title":"Algebra Universalis"},{"issue":"3","key":"9677_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11083-008-9089-1","volume":"25","author":"G. Bezhanishvili","year":"2008","unstructured":"Bezhanishvili G., Bezhanishvili N.: Profinite Heyting algebras. Order 25(3), 211\u2013227 (2008)","journal-title":"Order"},{"issue":"3","key":"9677_CR4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1017\/S1755020309990177","volume":"2","author":"G. Bezhanishvili","year":"2009","unstructured":"Bezhanishvili G., Bezhanishvili N.: An algebraic approach to canonical formulas: Intuitionistic case. The Review of Symbolic Logic 2(3), 517\u2013549 (2009)","journal-title":"The Review of Symbolic Logic"},{"key":"9677_CR5","unstructured":"Bezhanishvili, G., and N. Bezhanishvili, Locally finite reducts of Heyting algebras and canonical formulas. Notre Dame Journal of Formal Logic, to appear. Available at http:\/\/dspace.library.uu.nl\/handle\/1874\/273468 ."},{"issue":"1","key":"9677_CR6","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1017\/jsl.2015.54","volume":"81","author":"G. Bezhanishvili","year":"2016","unstructured":"Bezhanishvili G., Bezhanishvili N., Iemhoff R.: Stable canonical rules. The Journal of Symbolic Logic 81(1), 284\u2013315 (2016)","journal-title":"The Journal of Symbolic Logic"},{"key":"9677_CR7","doi-asserted-by":"crossref","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9677_CR8","volume-title":"Modal Logic, vol. 35 of Oxford Logic Guides","author":"A. V. Chagrov","year":"1997","unstructured":"Chagrov A. V., Zakharyaschev M.: Modal Logic, vol. 35 of Oxford Logic Guides. Oxford University Press, Oxford (1997)"},{"issue":"1","key":"9677_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11787-015-0116-x","volume":"9","author":"A. Citkin","year":"2015","unstructured":"Citkin A.: Characteristic inference rules. Logica Universalis 9(1), 27\u201346 (2015)","journal-title":"Logica Universalis"},{"key":"9677_CR10","unstructured":"de Jongh, D., Investigations on the Intuitionistic Propositional Calculus, PhD thesis, University of Wisconsin, 1968."},{"key":"9677_CR11","unstructured":"Diego, A., Sur les Alg\u00e8bres de Hilbert, Translated from the Spanish by Luisa Iturrioz. Collection de Logique Math\u00e9matique, S\u00e9r. A, Fasc. XXI, Gauthier-Villars, Paris, 1966."},{"key":"9677_CR12","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: Topological Kripke models. Soviet Mathematics Doklady 15, 147\u2013151 (1974)","journal-title":"Soviet Mathematics Doklady"},{"key":"9677_CR13","unstructured":"Esakia, L., On the theory of modal and superintuitionistic systems, in Logical Inference (Moscow, 1974), Nauka, Moscow, 1979, pp. 147\u2013172 (Russian)."},{"issue":"2","key":"9677_CR14","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","volume":"40","author":"K. Fine","year":"1974","unstructured":"Fine K.: An ascending sequence of S4 logics. Theoria 40(2), 110\u2013116 (1974)","journal-title":"Theoria"},{"issue":"3","key":"9677_CR15","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","volume":"50","author":"K. Fine","year":"1985","unstructured":"Fine K.: Logics containing K4. II. The Journal of Symbolic Logic 50(3), 619\u2013651 (1985)","journal-title":"The Journal of Symbolic Logic"},{"key":"9677_CR16","unstructured":"Goudsmit, J., Intuitionistic Rules. Admissible Rules of Intermediate Logics, PhD thesis, Utrecht University, 2015."},{"key":"9677_CR17","first-page":"457","volume":"17","author":"T. Hosoi","year":"1970","unstructured":"Hosoi T., Ono H.: The intermediate logics on the second slice. Journal of the Faculty of Science, University of Tokyo, Tokyo, Section I A. Mathematics 17, 457\u2013461 (1970)","journal-title":"Journal of the Faculty of Science, University of Tokyo, Tokyo, Section I A. Mathematics"},{"key":"9677_CR18","doi-asserted-by":"publisher","unstructured":"Iemhoff, R., Consequence relations and admissible rules, The Journal of Philosophical Logic, 2016. doi: 10.1007\/s10992-015-9380-8 .","DOI":"10.1007\/s10992-015-9380-8"},{"key":"9677_CR19","unstructured":"Jankov, V., On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures, Doklady Akademii Nauk SSSR 151:1293\u20131294, 1963 (Russian)."},{"key":"9677_CR20","first-page":"806","volume":"9","author":"V. Jankov","year":"1968","unstructured":"Jankov V.: The construction of a sequence of strongly independent superintuitionistic propositional calculi. Soviet Mathematics Doklady 9, 806\u2013807 (1968)","journal-title":"Soviet Mathematics Doklady"},{"issue":"4","key":"9677_CR21","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.2178\/jsl\/1254748686","volume":"74","author":"E. Je\u0159\u00e1bek","year":"2009","unstructured":"Je\u0159\u00e1bek E.: Canonical rules. The Journal of Symbolic Logic 74(4), 1171\u20131205 (2009)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9677_CR22","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L. L. Maksimova","year":"1986","unstructured":"Maksimova L. L.: On maximal intermediate logics with the disjunction property. Studia Logica 45(1), 69\u201375 (1986)","journal-title":"Studia Logica"},{"key":"9677_CR23","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H. A. Priestley","year":"1970","unstructured":"Priestley H. A.: Representation of distributive lattices by means of ordered Stone spaces. Bulletin of the London Mathematical Society 2, 186\u2013190 (1970)","journal-title":"Bulletin of the London Mathematical Society"},{"key":"9677_CR24","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"H. A. Priestley","year":"1972","unstructured":"Priestley H. A.: Ordered topological spaces and the representation of distributive lattices. Proceedings of the London Mathematical Society 24, 507\u2013530 (1972)","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"102","key":"9677_CR25","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/qmath\/26.1.215","volume":"26","author":"H.A. Priestley","year":"1975","unstructured":"Priestley H.A.: The construction of spaces dual to pseudocomplemented distributive lattices. Quarterly Journal of Mathematics, Oxford Series 26(102), 215\u2013228 (1975)","journal-title":"Quarterly Journal of Mathematics, Oxford Series"},{"issue":"4","key":"9677_CR26","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01982017","volume":"28","author":"M. Zakharyaschev","year":"1989","unstructured":"Zakharyaschev M.: Syntax and semantics of superintuitionistic logics. Algebra and Logic 28(4), 262\u2013282 (1989)","journal-title":"Algebra and Logic"},{"issue":"4","key":"9677_CR27","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","volume":"57","author":"M. Zakharyaschev","year":"1992","unstructured":"Zakharyaschev M.: Canonical formulas for K4. Basic results. The Journal of Symbolic Logic 57(4), 1377\u20131402 (1992)","journal-title":"Basic results. The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9677-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9677-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9677-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T02:22:41Z","timestamp":1568082161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9677-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,22]]},"references-count":27,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9677"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9677-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,22]]}}}