{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:59:51Z","timestamp":1649102391314},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T00:00:00Z","timestamp":1493942400000},"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":["Soft Comput"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s00500-017-2628-1","type":"journal-article","created":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T09:14:52Z","timestamp":1493975692000},"page":"1203-1207","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reduced axioms for the propositional logics induced by basic algebras"],"prefix":"10.1007","volume":"22","author":[{"given":"Ivan","family":"Chajda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Kola\u0159\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"2628_CR1","doi-asserted-by":"crossref","first-page":"828","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:828\u2013843","journal-title":"Ann Math"},{"key":"2628_CR2","doi-asserted-by":"crossref","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable Logics. Mem Am Math Soc 77","DOI":"10.1090\/memo\/0396"},{"key":"2628_CR3","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s00153-009-0125-7","volume":"48","author":"M Botur","year":"2009","unstructured":"Botur M, Hala\u0161 R (2009) Commutative basic algebras and non-associative fuzzy logics. Arch Math Logic 48:243\u2013255","journal-title":"Arch Math Logic"},{"key":"2628_CR4","doi-asserted-by":"crossref","first-page":"1550041","DOI":"10.1142\/S1793557115500412","volume":"8","author":"I Chajda","year":"2015","unstructured":"Chajda I (2015) Basic algebras, logics, trends and applications. Asian Eur J Math 8:1550041\u20131550086","journal-title":"Asian Eur J Math"},{"key":"2628_CR5","doi-asserted-by":"crossref","first-page":"4306","DOI":"10.1007\/s10773-014-2500-3","volume":"54","author":"I Chajda","year":"2015","unstructured":"Chajda I (2015) The propositional logic induced by means of basic algebras. Int J Theor Phys 54:4306\u20134312","journal-title":"Int J Theor Phys"},{"key":"2628_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00012-008-2086-9","volume":"60","author":"I Chajda","year":"2009","unstructured":"Chajda I, Hala\u0161 R, K\u00fchr J (2009) Many-valued quantum algebras. Algebra Univ 60:63\u201390","journal-title":"Algebra Univ"},{"key":"2628_CR7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s00500-008-0291-2","volume":"13","author":"I Chajda","year":"2009","unstructured":"Chajda I, Kola\u0159\u00edk M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41\u201343","journal-title":"Soft Comput"},{"key":"2628_CR8","doi-asserted-by":"crossref","first-page":"4423","DOI":"10.1007\/s10773-015-2619-x","volume":"54","author":"J K\u00fchr","year":"2015","unstructured":"K\u00fchr J, Chajda I, Hala\u0161 R (2015) The join of the variety of MV-algebras and the variety of orthomodular lattices. Int J Theor Phys 54:4423\u20134429","journal-title":"Int J Theor Phys"},{"key":"2628_CR9","first-page":"766","volume":"19","author":"K Husimi","year":"1937","unstructured":"Husimi K (1937) Studies on the foundations of quantum mechanics I. Proc Phys Math Soc Jpn 19:766\u2013789","journal-title":"Proc Phys Math Soc Jpn"},{"key":"2628_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.7151\/dmgaa.1247","volume":"36","author":"M Kola\u0159\u00edk","year":"2016","unstructured":"Kola\u0159\u00edk M (2016) A short note on \n                        $$L_{\\rm CBA}$$\n                        \n                            \n                                \n                                    L\n                                    CBA\n                                \n                            \n                        \n                    \u2014fuzzy logic with a non-associative conjunction. Discuss Math Gen Algebra Appl 36:113\u2013116","journal-title":"Discuss Math Gen Algebra Appl"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2628-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2628-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2628-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T12:13:28Z","timestamp":1519906408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2628-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,5]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["2628"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2628-1","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,5]]}}}