{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,29]],"date-time":"2023-11-29T08:29:01Z","timestamp":1701246541800},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,2,5]],"date-time":"2012-02-05T00:00:00Z","timestamp":1328400000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s11225-012-9390-2","type":"journal-article","created":{"date-parts":[[2012,2,4]],"date-time":"2012-02-04T10:44:20Z","timestamp":1328352260000},"page":"91-114","source":"Crossref","is-referenced-by-count":6,"title":["Frontal Operators in Weak Heyting Algebras"],"prefix":"10.1007","volume":"100","author":[{"given":"Sergio A.","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hern\u00e1n J.","family":"San Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,5]]},"reference":[{"key":"9390_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M. Ardeshir","year":"1998","unstructured":"Ardeshir M., Ruitenburg W.: \u2018Basic Propositional Calculus I\u2019. Mathematical Logic Quarterly 44, 317\u2013343 (1998)","journal-title":"Mathematical Logic Quarterly"},{"issue":"4","key":"9390_CR2","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X. Caicedo","year":"2001","unstructured":"Caicedo X., Cignoli R.: \u2018An algebraic approach to intuitionistic connectives\u2019. Journal of Symbolic Logic 66(4), 1620\u20131636 (2001)","journal-title":"Journal of Symbolic Logic"},{"key":"9390_CR3","first-page":"201","volume":"45","author":"J.L. Castiglioni","year":"2010","unstructured":"Castiglioni J.L., Sagastume M., San Mart\u00edn H.J.: \u2018On frontal Heyting algebras\u2019. Reports on Mathematical Logic 45, 201\u2013224 (2010)","journal-title":"Reports on Mathematical Logic"},{"key":"9390_CR4","first-page":"225","volume":"45","author":"J.L. Castiglioni","year":"2010","unstructured":"Castiglioni J.L., San Mart\u00edn H.J.: \u2018On the variety of Heyting algebras with successor generated by all finite chains\u2019. Reports on Mathematical Logic 45, 225\u2013248 (2010)","journal-title":"Reports on Mathematical Logic"},{"key":"9390_CR5","first-page":"225","volume":"42","author":"A. Celani S.","year":"2003","unstructured":"Celani S. A., Jansana R.: \u2018A closer look at some subintuitionistic logics\u2019. Notre Dame Journal of Formal Logic 42, 225\u2013255 (2003)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9390_CR6","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"A. Celani S.","year":"2005","unstructured":"Celani S. A., Jansana R.: \u2018Bounded distributive lattices with strict implication. Mathematical Logic Quarterly 51, 219\u2013246 (2005)","journal-title":"Mathematical Logic Quarterly"},{"key":"9390_CR7","doi-asserted-by":"crossref","unstructured":"Celani, S. A., \u2018Simple and subdirectly irreducibles bounded distributive lattices with unary operators\u2019, International Journal of Mathematics and Mathematical Sciences, vol. 2006, Article ID 21835, 20 pages, doi: 10.1155\/IJMMS\/2006\/21835 , 2006.","DOI":"10.1155\/IJMMS\/2006\/21835"},{"key":"9390_CR8","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00383451","volume":"8","author":"R. Cignoli","year":"1991","unstructured":"Cignoli R., Lafalce S., Petrovich A.: \u2018Remarks on Priestley duality for distributive lattices\u2019. Order 8, 183\u2013197 (1991)","journal-title":"Order"},{"key":"9390_CR9","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1002\/malq.19760220128","volume":"22","author":"G. Epstein","year":"1976","unstructured":"Epstein G., Horn A.: \u2018Logics which are characterized by subresiduated lattices\u2019. Zeitschrift fur Mathematiche Logik und Grundlagen der Mathematik 22, 199\u2013210 (1976)","journal-title":"Zeitschrift fur Mathematiche Logik und Grundlagen der Mathematik"},{"issue":"3-4","key":"9390_CR10","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","author":"L. Esakia","year":"2006","unstructured":"Esakia L.: \u2018The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic\u2019. Journal of Applied Non-Classical Logics 16(3-4), 349\u2013366 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9390_CR11","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: \u2018Topological Kripke models\u2019. Soviet Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet Math. Dokl."},{"key":"9390_CR12","unstructured":"Esakia, L., Heyting Algebras I. Duality Theory (Russian), Metsniereba, Tbilisi, Georgia, 1985."},{"key":"9390_CR13","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R. Goldblatt","year":"1989","unstructured":"Goldblatt R.: \u2018Varieties of complex algebras\u2019. Annals Pure Appl. Logic 44, 173\u2013242 (1989)","journal-title":"Annals Pure Appl. Logic"},{"key":"9390_CR14","first-page":"18","volume":"32","author":"A.V. Kuznetsov","year":"1985","unstructured":"Kuznetsov A.V.: \u2018On the Propositional Calculus of Intuitionistic Provability\u2019. Soviet Math. Dokl. 32, 18\u201321 (1985)","journal-title":"Soviet Math. Dokl."},{"issue":"1","key":"9390_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01881551","volume":"45","author":"A.V. Kuznetsov","year":"1986","unstructured":"Kuznetsov A.V., Muravitsky A.Yu.: \u2018On superintuitionistic logics as fragments of proof logic extensions\u2019. Studia Logica 45(1), 77\u201399 (1986)","journal-title":"Studia Logica"},{"key":"9390_CR16","first-page":"275","volume":"81","author":"E. Orlowska","year":"2007","unstructured":"Orlowska E., Rewitzky I.: \u2018Discrete Dualities for Heyting algebras with Operators\u2019. Fundamenta Informaticae 81, 275\u2013295 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"9390_CR17","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.: \u2018Representation of distributive lattices by means of ordered Stone spaces\u2019. Bull. London Math Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. London Math Soc."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9390-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9390-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9390-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T06:33:45Z","timestamp":1561271625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9390-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,5]]},"references-count":17,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9390"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9390-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,5]]}}}