{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T09:17:05Z","timestamp":1712222225249},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:00:00Z","timestamp":1409875200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s11225-014-9568-x","type":"journal-article","created":{"date-parts":[[2014,9,4]],"date-time":"2014-09-04T13:35:34Z","timestamp":1409837734000},"page":"303-344","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["On Some Semi-Intuitionistic Logics"],"prefix":"10.1007","volume":"103","author":[{"given":"Juan M.","family":"Cornejo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio D.","family":"Viglizzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,5]]},"reference":[{"issue":"4","key":"9568_CR1","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/s00500-010-0604-0","volume":"15","author":"M. Abad","year":"2010","unstructured":"Abad M., Cornejo J.M., Diaz Varela J.P.: The variety generated by semi-Heyting chains. Soft Computing 15(4), 721\u2013728 (2010)","journal-title":"Soft Computing"},{"key":"9568_CR2","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/s11083-012-9266-0","volume":"2","author":"M. Abad","year":"2013","unstructured":"Abad M., Cornejo J.M., Diaz Varela J.P.: Semi-Heyting algebras term-equivalent to G\u00f6del algebras. Order 2, 625\u2013642 (2013)","journal-title":"Order"},{"key":"9568_CR3","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974."},{"issue":"1\u20132","key":"9568_CR4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s11225-011-9321-7","volume":"98","author":"J.M. Cornejo","year":"2011","unstructured":"Cornejo J.M.: Semi-intuitionistic logic. Studia Logica 98(1\u20132), 9\u201325 (2011)","journal-title":"Studia Logica"},{"key":"9568_CR5","doi-asserted-by":"crossref","unstructured":"Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edn., Cambridge University Press, New York, 2002.","DOI":"10.1017\/CBO9780511809088"},{"key":"9568_CR6","unstructured":"Fitting, M. C., Intuitionistic Logic, Model Theory and Forcing, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing, Amsterdam, 1969."},{"key":"9568_CR7","doi-asserted-by":"crossref","unstructured":"Font, J.M., R. Jansana, and D. Pigozzi, A survey of abstract algebraic logic, Studia Logica 74(1\u20132):13\u201397, 2003. Abstract algebraic logic, Part II (Barcelona, 1997).","DOI":"10.1023\/A:1024621922509"},{"key":"9568_CR8","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1215\/S0012-7094-62-02951-4","volume":"29","author":"O. Frink","year":"1962","unstructured":"Frink O.: Pseudocomplements in semilattices. Duke Mathematical Journal 29, 505\u2013514 (1962)","journal-title":"Duke Mathematical Journal"},{"key":"9568_CR9","unstructured":"Gr\u00e4tzer, G., Lattice theory. First Concepts and Distributive Lattices, W. H. Freeman and Co., San Francisco, CA, 1971."},{"key":"9568_CR10","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","volume":"25","author":"I. Nishimura","year":"1960","unstructured":"Nishimura I.: On formulas of one variable in intuitionistic propositional calculus. The Journal of Symbolic Logic 25, 327\u2013331 (1960)","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9568_CR11","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1024248828122","volume":"32","author":"F.J. Pelletier","year":"2003","unstructured":"Pelletier F.J., Urquhart A.: Synonymous logics. Journal of Philosophical Logic 32(3), 259\u2013285 (2003)","journal-title":"Journal of Philosophical Logic"},{"key":"9568_CR12","doi-asserted-by":"crossref","unstructured":"Priestley, H. A., Ordered sets and duality for distributive lattices, in Orders: Description and Roles (L\u2019Arbresle, 1982), vol. 99 of North-Holland Math. Stud., North-Holland, Amsterdam, 1984, pp. 39\u201360.","DOI":"10.1016\/S0304-0208(08)73814-3"},{"key":"9568_CR13","unstructured":"Rasiowa, H., An Algebraic Approach to Non-classical Logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1974."},{"key":"9568_CR14","unstructured":"Sankappanavar, H. P., Semi-Heyting algebras: an abstraction from Heyting algebras, in Proceedings of the 9th \u201cDr. Antonio A. R. Monteiro\u201d Congress (Spanish), Actas Congr. \u201cDr. Antonio A. R. Monteiro\u201d, Univ. Nac. del Sur, Bah\u00ed a Blanca, 2008, pp. 33\u201366."},{"key":"9568_CR15","unstructured":"Sankappanavar, H. P., Semi-Heyting algebras, Abstracts of Papers Presented to the American Mathematical Society (January 1985), 13."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9568-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9568-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9568-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T13:18:46Z","timestamp":1565788726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9568-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,5]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9568"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9568-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,5]]}}}