{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:38:39Z","timestamp":1725982719538},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662576687"},{"type":"electronic","value":"9783662576694"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57669-4_16","type":"book-chapter","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T04:48:51Z","timestamp":1529988531000},"page":"271-288","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Algebraic Semantics for Nelson\u2019s Logic $$\\mathcal {S}$$S"],"prefix":"10.1007","author":[{"given":"Thiago","family":"Nascimento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Spinks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,27]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symb. Log. 49(1), 231\u2013233 (1984)","journal-title":"J. Symb. Log."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok, W.J., K\u00f6hler, P., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334\u2013379 (1984)","journal-title":"Algebra Universalis"},{"key":"16_CR3","series-title":"Memoirs of the American Mathematical Society","volume-title":"Algebraizable Logics","author":"WJ Blok","year":"1989","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable Logics. Memoirs of the American Mathematical Society, vol. 396. A.M.S., Providence (1989)"},{"issue":"5","key":"16_CR4","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s00153-005-0324-9","volume":"45","author":"F Bou","year":"2006","unstructured":"Bou, F., Garc\u00eda-Cerda\u00f1a, \u00c0., Verd\u00fa, V.: On two fragments with negation and without implication of the logic of residuated lattices. Arch. Math. Log. 45(5), 615\u2013647 (2006)","journal-title":"Arch. Math. Log."},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"M Busaniche","year":"2010","unstructured":"Busaniche, M., Cignoli, R.: Constructive logic with strong negation as a substructural logic. J. Log. Comput. 20, 761\u2013793 (2010)","journal-title":"J. Log. Comput."},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli, R.: The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Universalis 23(3), 262\u2013292 (1986)","journal-title":"Algebra Universalis"},{"key":"16_CR7","series-title":"Trends in Logic\u2014Studia Logica Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic\u2014Studia Logica Library, vol. 7. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"16_CR8","volume-title":"Abstract Algebraic Logic. An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J.M.: Abstract Algebraic Logic. An Introductory Textbook. College Publications, London (2016)"},{"key":"16_CR9","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","author":"N Galatos","year":"2004","unstructured":"Galatos, N., Raftery, J.G.: Adding involution to residuated structures. Studia Logica 77(2), 181\u2013207 (2004)","journal-title":"Studia Logica"},{"key":"16_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L.: The Connectives. MIT Press, Cambridge (2011)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"SC Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. J. Symb. Log. 10, 109\u2013124 (1945)","journal-title":"J. Symb. Log."},{"key":"16_CR13","unstructured":"Nascimento, T., Marcos, J., Rivieccio, U., Spinks, M.: Nelson\u2019s logic $$\\cal{S}$$S. https:\/\/arxiv.org\/abs\/1803.10851"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symb. Log. 14, 16\u201326 (1949)","journal-title":"J. Symb. Log."},{"key":"16_CR15","unstructured":"Nelson, D.: Negation and separation of concepts in constructive systems. Studies in Logic and the Foundations of Mathematics, vol. 39, pp. 205\u2013225 (1959)"},{"key":"16_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive Negations and Paraconsistency","author":"SP Odintsov","year":"2008","unstructured":"Odintsov, S.P.: Constructive Negations and Paraconsistency. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-6867-6"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/BF01057653","volume":"52","author":"G Restall","year":"1993","unstructured":"Restall, G.: How to be $$really$$really contraction free. Studia Logica 52(3), 381\u2013391 (1993)","journal-title":"Studia Logica"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2011.10.014","volume":"278","author":"U Rivieccio","year":"2011","unstructured":"Rivieccio, U.: Paraconsistent modal logics. Electron. Notes Theor. Comput. Sci. 278, 173\u2013186 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"16_CR19","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","volume":"89","author":"M Spinks","year":"2008","unstructured":"Spinks, M., Veroff, R.: Constructive logic with strong negation is a substructural logic. II. Studia Logica 89(3), 401\u2013425 (2008)","journal-title":"Studia Logica"},{"key":"16_CR20","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-319-74772-9_13","volume-title":"Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science","author":"M Spinks","year":"2018","unstructured":"Spinks, M., Veroff, R.: Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. In: Czelakowski, J. (ed.) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol. 16, pp. 323\u2013379. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74772-9_13"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57669-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,19]],"date-time":"2019-10-19T20:09:30Z","timestamp":1571515770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-57669-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662576687","9783662576694"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57669-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}