{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:28:28Z","timestamp":1764782908890},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"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":[[2005,8]]},"DOI":"10.1007\/s11225-005-8476-5","type":"journal-article","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T15:23:12Z","timestamp":1128612192000},"page":"393-430","source":"Crossref","is-referenced-by-count":16,"title":["Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation"],"prefix":"10.1007","volume":"80","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8476_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. ARIELI","year":"1996","unstructured":"ARIELI, O., and A. AVRON, \u2018Reasoning with logical bilattices\u2019, Journal of Logic Language and Information, 5:25\u201363, 1996.","journal-title":"Journal of Logic Language and Information"},{"key":"8476_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/cm-6-1-287-310","volume":"6","author":"A. BIA LYNICKI-BIRULA","year":"1958","unstructured":"BIA LYNICKI-BIRULA, A., and H. RASIOWA, \u2018On constructible falsity in constructive logic with strong negation\u2019, Colloquium Mathematicum, 6:287\u2013310, 1958.","journal-title":"Colloquium Mathematicum"},{"key":"8476_CR3","doi-asserted-by":"crossref","unstructured":"DUNN, J.M., \u2018Generalized ortho negation\u2019, in H. Wansing, Walter de Gruyer, (eds.), Negation, A notion in Focus, pp. 3\u201326, Berlin, New York, 1996.","DOI":"10.1515\/9783110876802.3"},{"key":"8476_CR4","unstructured":"FIDEL, M.M., \u2018An algebraic study of a propositional system of Nelson\u2019, in Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lecture Notes in pure Appl. Math., 39, pp. 99\u2013117, 1978."},{"issue":"2","key":"8476_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. FITTING","year":"1991","unstructured":"FITTING, M., \u2018Bilattices and the semantics of logic programming\u2019, Journal of logic programming, 11(2):91\u2013116, 1991.","journal-title":"Journal of logic programming"},{"key":"8476_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1080\/11663081.1999.10510967","volume":"9","author":"G. GARGOV","year":"1999","unstructured":"GARGOV, G., \u2018Knowledge, uncertainty and ignorance in logic: bilattices and beyond\u2019, Journal of Applied Non-Classical Logics, 9:195\u2013283, 1999.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"8476_CR7","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00394448","volume":"44","author":"V. GORANKO","year":"1985","unstructured":"GORANKO, V., \u2018The Craig Interpolation Theorem for Propositional Logics with Strong Negation\u2019, Studia Logica, 44:291\u2013317, 1985.","journal-title":"Studia Logica"},{"key":"8476_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M. KRACHT","year":"1998","unstructured":"KRACHT, M., \u2018On extensions of intermediate logics by strong negation\u2019, Journal of Philosophical Logic, 27:49\u201373, 1998.","journal-title":"Journal of Philosophical Logic"},{"key":"8476_CR9","first-page":"170","volume":"5","author":"J. LUKASIEWICZ","year":"1920","unstructured":"LUKASIEWICZ, J., \u2018O logice tr\u00f3jwarto\u015bciowej\u2019, Ruch Filozoficzny, 5:170\u2013171, 1920.","journal-title":"Ruch Filozoficzny"},{"key":"8476_CR10","first-page":"111","volume":"1","author":"J. LUKASIEWICZ","year":"1953","unstructured":"LUKASIEWICZ, J., \u2018A system of Modal Logic\u2019, The Journal of Computing Systems, 1:111\u2013149 1953.","journal-title":"The Journal of Computing Systems"},{"key":"8476_CR11","volume-title":"Aristotle's syllogistic from the standpoint of modern formal logic","author":"J. LUKASIEWICZ","year":"1957","unstructured":"LUKASIEWICZ, J., Aristotle's syllogistic from the standpoint of modern formal logic, Oxford, Clarendon Press, 1957."},{"key":"8476_CR12","first-page":"187","volume":"5","author":"A. A. MARKOV","year":"1950","unstructured":"MARKOV, A. A., \u2018Constructive Logic\u2019, (in Russian), Uspekhi Matematicheskih Nauk 5:187\u2013188, 1950.","journal-title":"(in Russian), Uspekhi Matematicheskih Nauk"},{"key":"8476_CR13","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. NELSON","year":"1949","unstructured":"NELSON, D., \u2018Constructible falsity\u2019, Journal of Symbolic Logic, 14:16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"8476_CR14","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"S. P. ODINTSOV","year":"2003","unstructured":"ODINTSOV, S. P., \u2018Algebraic semantics for paraconsistent Nelson's Logic\u2019, Journal of Logic and Computation, 13(4):453\u2013468, 2003.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"8476_CR15","doi-asserted-by":"crossref","first-page":"385405","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"S.P. ODINTSOV","year":"2004","unstructured":"ODINTSOV, S.P., \u2018On the Representation of N4-Lattices\u2019, Studia Logica, 76(3):385405, 2004.","journal-title":"Studia Logica"},{"key":"8476_CR16","first-page":"405","volume":"49","author":"D. PEARCE","year":"1990","unstructured":"PEARCE, D. and G. WAGNER, \u2018Reasoning with negative information, I: Strong negation in logic programs\u2019, Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki, 49:405\u2013439, 1990.","journal-title":"Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki"},{"key":"8476_CR17","first-page":"311","volume-title":"Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, No. 475","author":"D. PEARCE","year":"1991","unstructured":"PEARCE, D., and G. WAGNER, \u2018Logic programming with strong negation\u2019, in P. Schroeder-Heister, (ed.), Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, No. 475, pp. 311\u2013326, Springer-Verlag, Berlin, 1991."},{"key":"8476_CR18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A. P. PYNKO","year":"1999","unstructured":"PYNKO, A. P., \u2018Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions\u2019, Journal of Applied Non-Classical Logics, 9:61\u2013105, 1999.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"8476_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","volume":"46","author":"H. RASIOWA","year":"1958","unstructured":"RASIOWA, H., \u2018N-lattices and constructive logic with strong negation\u2019, Fundamenta Mathematicae, 46:61\u201380, 1958.","journal-title":"Fundamenta Mathematicae"},{"key":"8476_CR20","volume-title":"An algebraic approach to non-classical logic","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H., An algebraic approach to non-classical logic, North-Holland Publishing Company, Amsterdam, London, 1974."},{"key":"8476_CR21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A. SENDLEWSKI","year":"1984","unstructured":"SENDLEWSKI, A., \u2018Some investigations of varieties of N-lattices\u2019, Studia Logica, 43:257\u2013280, 1984.","journal-title":"Studia Logica"},{"key":"8476_CR22","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BF00401557","volume":"49","author":"A. SENDLEWSKI","year":"1990","unstructured":"SENDLEWSKI, A., \u2018Nelson algebras through Heyting ones\u2019, Studia Logica, 49:106\u2013126, 1990.","journal-title":"Studia Logica"},{"key":"8476_CR23","first-page":"1609","volume":"25","author":"D. VAKARELOV","year":"1972","unstructured":"VAKARELOV, D., \u2018Ekstensionalnye Logiki\u2019, (in Russian), Doklady BAN, 25:1609\u20131612, 1972.","journal-title":"(in Russian), Doklady BAN"},{"key":"8476_CR24","unstructured":"VAKARELOV, D., \u2018Models for constructive logic with strong negation\u2019, V Balkan Mathematical Congress, Abstracts, Beograd, 1974, 298."},{"key":"8476_CR25","unstructured":"VAKARELOV, D., \u2018Obobschennye reshetki Nelsona\u2019, Chetvertaya Vsesoyuznaya Conferenciya po Matematicheskoy Logike, tezisy dokladov i soobschtenii, Kishinev, 1976."},{"key":"8476_CR26","unstructured":"VAKARELOV, D., Theory of Negation in Certain Logical Systems. Algebraic and Semantical Approach, Ph.D. dissertation, University of Warsaw, 1976."},{"key":"8476_CR27","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. VAKARELOV","year":"1977","unstructured":"VAKARELOV, D., \u2018Notes on N-lattices and constructive logic with strong negation\u2019, Studia Logica 36:109\u2013125, 1977.","journal-title":"Studia Logica"},{"issue":"4","key":"8476_CR28","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/BF00370208","volume":"48","author":"D. VAKARELOV","year":"1989","unstructured":"VAKARELOV, D., \u2018Intuitive Semantics for Some Three-valued Logics Connected with Information, Contrariety and subcontrariety\u2019, Studia Logica, 48(4):565\u2013575, 1989.","journal-title":"Studia Logica"},{"key":"8476_CR29","doi-asserted-by":"crossref","first-page":"328","DOI":"10.2307\/j.ctv2x8v8c7.15","volume-title":"Paraconsistent Logic. Essays on the Inconsistent","author":"D. VAKARELOV","year":"1989","unstructured":"VAKARELOV, D., \u2018Consistency, Completeness and Negation\u2019, in Gr. Priest, R. Routley and J. Norman, (eds.), Paraconsistent Logic. Essays on the Inconsistent, pp. 328\u2013363, Analiytica, Philosophia Verlag, Munhen, 1989."},{"key":"8476_CR30","first-page":"456","volume":"85","author":"N.N. VOROB'EV","year":"1952","unstructured":"VOROB'EV, N.N., \u2018Constructive propositional calculus with strong negation\u2019, (in Russian), Doklady Academii Nauk SSSR, 85:456\u2013468, 1952.","journal-title":"(in Russian), Doklady Academii Nauk SSSR"},{"key":"8476_CR31","first-page":"689","volume":"85","author":"N.N. VOROB'EV","year":"1952","unstructured":"VOROB'EV, N.N., \u2018The problem of provability in constructive propositional calculus with strong negation\u2019, (in Russian), Doklady Academii Nauk SSSR, 85:689\u2013692, 1952.","journal-title":"(in Russian), Doklady Academii Nauk SSSR"},{"key":"8476_CR32","first-page":"195","volume":"72","author":"N.N. VOROB'EV","year":"1964","unstructured":"VOROB'EV, N.N., \u2018Constructive propositional calculus with strong negation\u2019, wide(in Russian), Transactions of Steklov's institute, 72:195\u2013227, 1964.","journal-title":"(in Russian), Transactions of Steklov's institute"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8476-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-8476-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8476-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T00:32:15Z","timestamp":1683246735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-8476-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["8476"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-8476-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}