{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:51:06Z","timestamp":1759146666455,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662469057"},{"type":"electronic","value":"9783662469064"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46906-4_7","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T09:59:50Z","timestamp":1430387990000},"page":"97-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Duality and Universal Models for the Meet-Implication Fragment of IPC"],"prefix":"10.1007","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dion","family":"Coumans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel J. van","family":"Gool","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dick de","family":"Jongh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"key":"7_CR1","unstructured":"Diego, A.: Sur les alg\u00e8bres de Hilbert (transl. from the Spanish original by L. Iturrioz). Collection de Logique Math\u00e9matique, vol. S\u00e9rie A 21. Gauthier-Villars, Paris (1966)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/logcom\/exq058","volume":"22","author":"GR Renardel de Lavalette","year":"2012","unstructured":"Renardel de Lavalette, G.R., Hendriks, A., de Jongh, D.H.J.: Intuitionistic implication without disjunction. J. Logic Comput. 22, 375\u2013404 (2012)","journal-title":"J. Logic Comput."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.2307\/1998339","volume":"268","author":"P K\u00f6hler","year":"1981","unstructured":"K\u00f6hler, P.: Brouwerian semilattices. Trans. Amer. Math. Soc. 268, 103\u2013126 (1981)","journal-title":"Trans. Amer. Math. Soc."},{"key":"7_CR4","unstructured":"de Jongh, D.: Investigations on the intuitionistic propositional Calculus. Ph.D. thesis, University of Wisconsin (1968)"},{"key":"7_CR5","series-title":"ILLC Dissertation Series, ILLC","volume-title":"Lattices of Intermediate and Cylindric Modal Logics","author":"N Bezhanishvili","year":"2006","unstructured":"Bezhanishvili, N.: Lattices of Intermediate and Cylindric Modal Logics. ILLC Dissertation Series, ILLC, vol. 2006-2. University of Amsterdam, Amsterdam (2006)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Lc. In: Oxford Logic Guides, vol. 35. Clarendon Press, Oxford (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10485-011-9265-0","volume":"21","author":"G Bezhanishvili","year":"2013","unstructured":"Bezhanishvili, G., Jansana, R.: Esakia style duality for implicative semilattices. Appl. Categ. Struct. 21, 181\u2013208 (2013)","journal-title":"Appl. Categ. Struct."},{"key":"7_CR8","doi-asserted-by":"publisher","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. Rev. Symb. Log. 2, 517\u2013549 (2009)","journal-title":"Rev. Symb. Log."},{"key":"7_CR9","series-title":"Trends in Logic: Outstanding Contributions","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"M Gehrke","year":"2013","unstructured":"Gehrke, M.: Canonical extensions, Esakia spaces, and universal models. In: Bezhanishvili, G. (ed.) Leo Esakia on Duality in Modal and Intuitionistic Logics. Trends in Logic: Outstanding Contributions. Springer, New York (2013). http:\/\/www.liafa.univ-paris-diderot.fr\/mgehrke\/Ge12.pdf"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s11083-006-9037-x","volume":"23","author":"G Bezhanishvili","year":"2006","unstructured":"Bezhanishvili, G., Gehrke, M., Mines, R., Morandi, P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23, 143\u2013161 (2006)","journal-title":"Order"},{"key":"7_CR12","unstructured":"Yang, F.: Intuitionistic Subframe Formulas, $$NNIL$$-formulas, and $$n$$-universal Models, vol. 2008-12, Master of Logic Thesis Series. ILLC, University of Amsterdam (2008)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. London Math. Soc."},{"key":"7_CR14","first-page":"147","volume":"15","author":"LL Esakia","year":"1974","unstructured":"Esakia, L.L.: Topological Kripke models. Sov. Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Sov. Math. Dokl."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0022-4049(83)90104-4","volume":"29","author":"AM Pitts","year":"1983","unstructured":"Pitts, A.M.: Amalgamation and interpolation in the category of Heyting algebras. J. Pure and Appl. Algebra 29, 155\u2013165 (1983)","journal-title":"J. Pure and Appl. Algebra"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.apal.2007.04.001","volume":"147","author":"G Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, G., Ghilardi, S.: An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Logic 147, 84\u2013100 (2007)","journal-title":"Intuitionistic case. Ann. Pure Appl. Logic"},{"key":"7_CR17","unstructured":"Visser, A., de Jongh, D., van Benthem, J., de Lavalette, G.R.: NNIL a study in intuitionistic logic. In: Ponse, A., de Rijke, M., Venema, Y. (eds.) Modal Logics and Process Algebra: A Bisimulation Perspective, pp. 289\u2013326 (1995)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"AM Pitts","year":"1992","unstructured":"Pitts, A.M.: On an interpretation of second order quantification in first order intuitionistic propositional logic. J. Symbolic Log. 57, 33\u201352 (1992)","journal-title":"J. Symbolic Log."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Zhao, Z.: Positive formulas in intuitionistic and minimal logic. In: Aher, M., Hole, D., Jerabek, E., Kupke, C. (eds.) Logic, Language, and Computation. LNCS, vol. 8984, pp. xx\u2013yy. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-662-46906-4_11"},{"key":"7_CR20","first-page":"240","volume":"XVI","author":"S Ghilardi","year":"1992","unstructured":"Ghilardi, S.: Free Heyting algebras as bi-Heyting algebras. C. R. Math. Acad. Sci. Soc. R. Canada XVI, 240\u2013244 (1992)","journal-title":"C. R. Math. Acad. Sci. Soc. R. Canada"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-7(2:9)2011","volume":"7","author":"N Bezhanishvili","year":"2011","unstructured":"Bezhanishvili, N., Gehrke, M.: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci. 7, 1\u201324 (2011)","journal-title":"Log. Methods Comput. Sci."},{"key":"7_CR22","unstructured":"Hendriks, A.: Computations in Propositional Logic, vol. 1996-01, ILLC Dissertation Series. ILLC, University of Amsterdam (1996)"},{"key":"7_CR23","unstructured":"Tzimoulis, A., Zhao, Z.: The universal model for the negation-free fragment of IPC. Report X-2013-01, ILLC, University of Amsterdam (2013)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46906-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T18:21:40Z","timestamp":1717870900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46906-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662469057","9783662469064"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46906-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}