{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T09:03:40Z","timestamp":1751015020662,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,6,29]],"date-time":"2017-06-29T00:00:00Z","timestamp":1498694400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s11225-017-9737-9","type":"journal-article","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T22:38:36Z","timestamp":1498689516000},"page":"281-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Semi-intuitionistic Logic with Strong Negation"],"prefix":"10.1007","volume":"106","author":[{"given":"Juan Manuel","family":"Cornejo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"Viglizzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"issue":"1\u20132","key":"9737_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s11225-011-9321-7","volume":"98","author":"JM Cornejo","year":"2011","unstructured":"Cornejo, J. M., Semi-intuitionistic logic, Studia Logica 98(1\u20132):9\u201325, 2011.","journal-title":"Studia Logica"},{"issue":"2","key":"9737_CR2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11225-014-9568-x","volume":"103","author":"JM Cornejo","year":"2015","unstructured":"Cornejo, J. M., and I. D. Viglizzo, On some semi-intuitionistic logics, Studia Logica 103(2):303\u2013344, 2015.","journal-title":"Studia Logica"},{"key":"9737_CR3","doi-asserted-by":"publisher","unstructured":"Cornejo, J. M., and I. D. Viglizzo, Semi-Nelson algebras, Order 2016. DOI: 10.1007\/s11083-016-9416-x .","DOI":"10.1007\/s11083-016-9416-x"},{"key":"9737_CR4","unstructured":"Cornejo, J. M., and I. D. Viglizzo, Proofs of Some Propositions of the Semi-intuitionistic Logic with Strong Negation. Informe T\u00e9cnico Interno 103, Instituto de Matem\u00e1tica de Bah\u00eda Blanca, Universidad Nacional del Sur-CONICET, 2017. http:\/\/inmabb-conicet.gob.ar\/publicaciones\/iti\/iti103.pdf ."},{"key":"9737_CR5","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Intuitionistic Logic, Model Theory and Forcing","author":"MC Fitting","year":"1969","unstructured":"Fitting, M. C., Intuitionistic Logic, Model Theory and Forcing, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1969."},{"key":"9737_CR6","doi-asserted-by":"crossref","unstructured":"Font, J.\u00a0M., R.\u00a0Jansana, and D.\u00a0Pigozzi, 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":"9737_CR7","unstructured":"Monteiro, A., and L. Monteiro, Axiomes ind\u00e9pendants pour les alg\u00e8bres de Nelson, de \u0141ukasiewicz trivalentes, de De Morgan et de Kleene, in Unpublished Papers, I, vol 40 of Notas L\u00f3gica Mat., Universidad Nacional del Sur, Bah\u00eda Blanca, 1996, p 13."},{"key":"9737_CR8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, The Journal of Symbolic Logic 14:16\u201326, 1949.","journal-title":"The Journal of Symbolic Logic"},{"key":"9737_CR9","doi-asserted-by":"crossref","unstructured":"Rasiowa, H., $${\\cal{N}}$$ N -lattices and constructive logic with strong negation, Fundamenta Mathematicae 46:61\u201380, 1958.","DOI":"10.4064\/fm-46-1-61-80"},{"key":"9737_CR10","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H., An Algebraic Approach to Non-classical Logics, Vol. 78, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1974."},{"issue":"1","key":"9737_CR11","first-page":"13","volume":"6","author":"HP Sankappanavar","year":"1985","unstructured":"Sankappanavar, H. P., Semi-Heyting algebras, American Mathematical Society Abstracts 6(1):13, 1985.","journal-title":"American Mathematical Society Abstracts"},{"key":"9737_CR12","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 Congreso \u201cDr. Antonio A. R. Monteiro\u201d, Universidad Nacional del Sur, Bah\u00eda Blanca, 2008, pp. 33\u201366."},{"issue":"1\u20132","key":"9737_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D., Notes on $${\\cal{N}}$$ N -lattices and constructive logic with strong negation, Studia Logica 36(1\u20132):109\u2013125, 1977.","journal-title":"Studia Logica"},{"key":"9737_CR14","unstructured":"Viglizzo, I., \u00c1lgebras de Nelson. Instituto de Matem\u00e1tica de Bah\u00eda Blanca, Universidad Nacional del Sur. Magister dissertation in Mathematics, 1999. https:\/\/sites.google.com\/site\/viglizzo\/viglizzo99nelson ."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9737-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9737-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9737-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T10:29:19Z","timestamp":1569580159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9737-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,29]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9737"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9737-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,6,29]]}}}