{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T10:28:51Z","timestamp":1671618531346},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T00:00:00Z","timestamp":1490832000000},"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":[[2017,5]]},"DOI":"10.1007\/s00500-017-2579-6","type":"journal-article","created":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T03:56:44Z","timestamp":1490846204000},"page":"2513-2519","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Notes on quantum logics and involutive bounded posets"],"prefix":"10.1007","volume":"21","author":[{"given":"Yali","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yichuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,30]]},"reference":[{"key":"2579_CR1","doi-asserted-by":"publisher","unstructured":"Beran L (1985) Orthomodular lattices: algebraic approach. Erschienen Dordrecht: Reidel","DOI":"10.1007\/978-94-009-5215-7"},{"key":"2579_CR2","unstructured":"Birkhoff G (1967) Lattice\u00a0theory,\u00a03nd edn, vol 25. AMS Colloquium Publications"},{"issue":"4","key":"2579_CR3","doi-asserted-by":"publisher","first-page":"823","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(4):823\u2013843","journal-title":"Ann. Math."},{"issue":"8","key":"2579_CR4","first-page":"1265","volume":"34","author":"JC Carrega","year":"1995","unstructured":"Carrega JC (1995) Minimal orthomodular lattices. Proc Int Quantum Struct Assoc Quantum Struct Int J Theor Phys 34(8):1265\u20131270","journal-title":"Proc Int Quantum Struct Assoc Quantum Struct Int J Theor Phys"},{"key":"2579_CR5","first-page":"480","volume":"296","author":"JC Carrega","year":"1983","unstructured":"Carrega JC, Fort M (1983) Un problme d\u2019exclusion de treillis orthomodulaires. Comptes Rendus de l\u2019Acad Sci Paris 296:480\u2013496","journal-title":"Comptes Rendus de l\u2019Acad Sci Paris"},{"key":"2579_CR6","doi-asserted-by":"publisher","unstructured":"Chiara ML, Dalla GR (2002) Quantum logics. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic. Kluwer, Dordrecht, pp 129\u2013228","DOI":"10.1007\/978-94-017-0460-1_2"},{"key":"2579_CR7","unstructured":"de Vries A (2009) Algebraic hierarchy of logics unifying fuzzy logic and quantum logic.\u00a0Lecture Notes, pp 1\u201365"},{"issue":"4","key":"2579_CR8","first-page":"411","volume":"20","author":"R Giuntini","year":"1991","unstructured":"Giuntini R (1991) A semantical investigation on Brouwer\u2013Zadeh logic. Philos Logic 20(4):411\u2013433","journal-title":"Philos Logic"},{"key":"2579_CR9","first-page":"766","volume":"19","author":"K Husimi","year":"1937","unstructured":"Husimi K (1937) Studies on the foundations of quantum mechanics I. Proc Physicomath Soc Jpn 19:766\u2013789","journal-title":"Proc Physicomath Soc Jpn"},{"key":"2579_CR10","volume-title":"Orthomodular lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach G (1983) Orthomodular lattices. Cambridge University Press, Cambridge"},{"issue":"3","key":"2579_CR11","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","author":"HM MacNeille","year":"1937","unstructured":"MacNeille HM (1937) Partially ordered sets. Trans AMS 42(3):416\u2013460","journal-title":"Trans AMS"},{"issue":"5\u20136","key":"2579_CR12","first-page":"621","volume":"19","author":"Y Yang","year":"2012","unstructured":"Yang Y, Rump W (2012) Pseudo-MV algebras as L-algebras. J Multi-valued Logic Soft Comput 19(5\u20136):621\u2013632","journal-title":"J Multi-valued Logic Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2579-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2579-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2579-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,26]],"date-time":"2017-04-26T08:13:54Z","timestamp":1493194434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2579-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,30]]},"references-count":12,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["2579"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2579-6","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,30]]}}}