{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:19:20Z","timestamp":1770815960461,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,11]],"date-time":"2016-10-11T00:00:00Z","timestamp":1476144000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001827","name":"University of Amsterdam","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001827","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2391-8","type":"journal-article","created":{"date-parts":[[2016,10,10]],"date-time":"2016-10-10T21:19:28Z","timestamp":1476134368000},"page":"165-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Subminimal negation"],"prefix":"10.1007","volume":"21","author":[{"given":"Almudena","family":"Colacito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dick","family":"de Jongh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Lucia","family":"Vargas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,11]]},"reference":[{"key":"2391_CR1","doi-asserted-by":"crossref","unstructured":"Bezhanishvili N, de Jongh D, Tzimoulis A, Zhao Z (2016) Universal models for the positive fragment of intuitionistic logic. ILLC Prepublication Series PP-2016-20, ILLC, Universiteit van Amsterdam","DOI":"10.1007\/978-3-662-54332-0_13"},{"issue":"04","key":"2391_CR2","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X Caicedo","year":"2001","unstructured":"Caicedo X, Cignoli R (2001) An algebraic approach to intuitionistic connectives. J Symb Logic 66(04):1620\u20131636","journal-title":"J Symb Logic"},{"key":"2391_CR3","doi-asserted-by":"crossref","unstructured":"Carnielli W, Coniglio ME, Marcos J (2007) Logics of formal inconsistency. In: Handbook of philosophical logic. Springer, New York, pp 1\u201393","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"2391_CR4","doi-asserted-by":"crossref","unstructured":"Do\u0161en K (1999) Negation in the light of modal logic. In: What is negation? Springer, New York, pp 77\u201386","DOI":"10.1007\/978-94-015-9309-0_4"},{"issue":"2","key":"2391_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF02770513","volume":"48","author":"K Do\u0161en","year":"1989","unstructured":"Do\u0161en K (1989) Duality between modal algebras and neighbourhood frames. Stud Logica 48(2):219\u2013234","journal-title":"Stud Logica"},{"issue":"1","key":"2391_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/jigpal\/jzl037","volume":"15","author":"RC Ertola","year":"2007","unstructured":"Ertola RC, Galli A, Sagastume M (2007) Compatible functions in algebras associated to positive logic. Logic J IGPL 15(1):109\u2013119","journal-title":"Logic J IGPL"},{"issue":"1","key":"2391_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s11225-011-9367-6","volume":"101","author":"J Gaspar","year":"2013","unstructured":"Gaspar J (2013) Negative translations not intuitionistically equivalent to the usual ones. Studia Logica 101(1):45\u201363","journal-title":"Studia Logica"},{"key":"2391_CR8","unstructured":"Heyting A (1934) Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der preuszischen Akademie der Wissenschaften, physikalischmathematische klasse,(1930), 42\u201356 57\u201371 158\u2013169 in three parts. Sitzungsber. Preuss. Akad. Wiss 42(71):158\u2013169"},{"key":"2391_CR9","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson I (1937) Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compos Math 4:119\u2013136","journal-title":"Compos Math"},{"issue":"646\u2013667","key":"2391_CR10","first-page":"24","volume":"32","author":"AN Kolmogorov","year":"1925","unstructured":"Kolmogorov AN (1925) On the principle of excluded middle. Mat Sb 32(646\u2013667):24","journal-title":"Mat Sb"},{"issue":"01","key":"2391_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M Kracht","year":"1999","unstructured":"Kracht M, Wolter F (1999) Normal monomodal logics can simulate all others. J Symb Logic 64(01):99\u2013138","journal-title":"J Symb Logic"},{"issue":"03","key":"2391_CR12","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Logic 72(03):834\u2013864","journal-title":"J Symb Logic"},{"issue":"01","key":"2391_CR13","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson D (1949) Constructible falsity. J Symb Logic 14(01):16\u201326","journal-title":"Constructible falsity. J Symb Logic"},{"issue":"7","key":"2391_CR14","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.apal.2013.01.001","volume":"164","author":"S Odintsov","year":"2013","unstructured":"Odintsov S, Rybakov V (2013) Unification and admissible rules for paraconsistent minimal Johanssons\u2019 logic J and positive intuitionistic logic IPC $$^{+}$$ + . Annal Pure Appl Logic 164(7):771\u2013784","journal-title":"Annal Pure Appl Logic"},{"issue":"1","key":"2391_CR15","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","author":"K Segerberg","year":"1968","unstructured":"Segerberg K (1968) Propositional logics related to Heyting\u2019s and Johansson\u2019s. Theoria 34(1):26\u201361","journal-title":"Theoria"},{"key":"2391_CR16","volume-title":"Constructivism in mathematics","author":"AS Troelstra","year":"2014","unstructured":"Troelstra AS, van Dalen D (2014) Constructivism in mathematics, vol 2. Elsevier, Amsterdam"},{"issue":"2\u20133","key":"2391_CR17","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s11225-005-8476-5","volume":"80","author":"D Vakarelov","year":"2005","unstructured":"Vakarelov D (2005) Nelson\u2019s negation on the base of weaker versions of intuitionistic negation. Stud Logica 80(2\u20133):393\u2013430","journal-title":"Stud Logica"},{"issue":"1","key":"2391_CR18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/s11225-006-9004-y","volume":"84","author":"D Vakarelov","year":"2006","unstructured":"Vakarelov D (2006) Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation. Stud Logica 84(1):105\u2013127","journal-title":"Stud Logica"},{"key":"2391_CR19","unstructured":"van der Molen T (2016) The Johansson\/Heyting letters and the birth of minimal logic. ILLC Publications, Technical Notes. http:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/X-2016-04.text.pdf . Accessed: 2015-04-12"},{"key":"2391_CR20","volume-title":"From Frege to G\u00f6del: a source book in mathematical logic, 1879\u20131931, volume 9","author":"J Heijenoort van","year":"1967","unstructured":"van Heijenoort J (1967) From Frege to G\u00f6del: a source book in mathematical logic, 1879\u20131931, volume 9. Harvard University Press, Cambridge"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2391-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2391-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2391-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T08:36:05Z","timestamp":1568450165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2391-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,11]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2391"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2391-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,11]]}}}