{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T08:31:11Z","timestamp":1777365071901,"version":"3.51.4"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,4,14]],"date-time":"2010-04-14T00:00:00Z","timestamp":1271203200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11083-010-9151-7","type":"journal-article","created":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T06:53:53Z","timestamp":1271141633000},"page":"9-32","source":"Crossref","is-referenced-by-count":15,"title":["Cancellation in Skew Lattices"],"prefix":"10.1007","volume":"28","author":[{"given":"Karin","family":"Cvetko-Vah","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kinyon","sequence":"additional","affiliation":[]},{"given":"Jonathan","family":"Leech","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Spinks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,14]]},"reference":[{"key":"9151_CR1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF01190707","volume":"33","author":"RJ Bignall","year":"1995","unstructured":"Bignall, R.J., Leech, J.: Skew Boolean algebras and discriminator varieties. Algebra Univers. 33, 387\u2013398 (1995)","journal-title":"Algebra Univers."},{"key":"9151_CR2","doi-asserted-by":"crossref","unstructured":"Bignall, R.J., Spinks, M.: Propositional skew Boolean logic. In: Proc. 26th International Symposium on Multiple-valued Logic, pp. 43\u201348. IEEE Computer Soc. Press (1996)","DOI":"10.1109\/ISMVL.1996.508334"},{"key":"9151_CR3","first-page":"629","volume":"58","author":"RJ Bignall","year":"2003","unstructured":"Bignall, R.J., Spinks, M.: Implicative BCS-algebra subreducts of skew Boolean algebras. Sci. Math. Jpn. 58, 629\u2013638 (2003)","journal-title":"Sci. Math. Jpn."},{"key":"9151_CR4","unstructured":"Bignall, R.J., Spinks, M.: On binary discriminator varieties, I: implicative BCS-algebras. Int. J. Algebra Comput. (in press)"},{"key":"9151_CR5","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. AMS Colloquium Publications 25, Providence (1967)","edition":"3"},{"key":"9151_CR6","doi-asserted-by":"crossref","unstructured":"Cvetko-Vah, K.: Skew Lattices in Rings. Dissertation, University of Ljubljana (2005)","DOI":"10.1007\/s00233-003-0013-0"},{"key":"9151_CR7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s00233-006-0603-8","volume":"73","author":"K Cvetko-Vah","year":"2006","unstructured":"Cvetko-Vah, K.: A new proof of Spinks\u2019 theorem. Semigroup Forum 73, 267\u2013272 (2006)","journal-title":"Semigroup Forum"},{"key":"9151_CR8","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1080\/00927870601041656","volume":"35","author":"K Cvetko-Vah","year":"2007","unstructured":"Cvetko-Vah, K.: Internal decompositions of skew lattices. Commun. Algebra 35, 243\u2013247 (2007)","journal-title":"Commun. Algebra"},{"key":"9151_CR9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/s00233-007-9007-7","volume":"76","author":"K Cvetko-Vah","year":"2008","unstructured":"Cvetko-Vah, K., Leech, J.: Associativity of the $\\nabla$ -operation on bands in rings. Semigroup Forum 76, 32\u201350 (2008)","journal-title":"Semigroup Forum"},{"key":"9151_CR10","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF01243872","volume":"26","author":"JE Leech","year":"1989","unstructured":"Leech, J.E.: Skew lattices in rings. Algebra Univers. 26, 48\u201372 (1989)","journal-title":"Algebra Univers."},{"key":"9151_CR11","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/BF01188995","volume":"27","author":"JE Leech","year":"1990","unstructured":"Leech, J.E.: Skew Boolean algebras. Algebra Univers. 27, 497\u2013506 (1990)","journal-title":"Algebra Univers."},{"key":"9151_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02574320","volume":"44","author":"JE Leech","year":"1992","unstructured":"Leech, J.E.: Normal skew lattices. Semigroup Forum 44, 1\u20138 (1992)","journal-title":"Semigroup Forum"},{"key":"9151_CR13","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/2154407","volume":"335","author":"JE Leech","year":"1993","unstructured":"Leech, J.E.: The geometric structure of skew lattices. Trans. Am. Math. Soc. 335, 823\u2013842 (1993)","journal-title":"Trans. Am. Math. Soc."},{"key":"9151_CR14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02574077","volume":"52","author":"JE Leech","year":"1996","unstructured":"Leech, J.E.: Recent developments in the theory of skew lattices. Semigroup Forum 52, 7\u201324 (1996)","journal-title":"Semigroup Forum"},{"key":"9151_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/s00012-008-2069-x","volume":"58","author":"JE Leech","year":"2008","unstructured":"Leech, J.E., Spinks, M.: Skew Boolean algebras derived from generalized Boolean algebras. Algebra Univers. 58, 287\u2013302 (2008)","journal-title":"Algebra Univers."},{"key":"9151_CR16","unstructured":"McCune, W.W.: Mace4, version Dec-2007 (2007). http:\/\/www.cs.unm.edu\/mccune\/mace4"},{"key":"9151_CR17","unstructured":"Spinks, M.: Automated Deduction in non-commutative lattice theory. Tech. Report 3\/98, Gippsland School of Computing and Information Technology, Monash University (1998)"},{"key":"9151_CR18","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/PL00006032","volume":"61","author":"M Spinks","year":"2000","unstructured":"Spinks, M.: On middle distributivity for skew lattices. Semigroup Forum 61, 341\u2013345 (2000)","journal-title":"Semigroup Forum"},{"key":"9151_CR19","first-page":"3","volume":"37","author":"M Spinks","year":"2006","unstructured":"Spinks, M., Veroff, R.: Axiomatizing the skew Boolean propositional calculus. J. Autom. Reason. 37, 3\u201320 (2006)","journal-title":"J. Autom. Reason."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-010-9151-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-010-9151-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-010-9151-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T23:22:59Z","timestamp":1740007379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-010-9151-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,14]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9151"],"URL":"https:\/\/doi.org\/10.1007\/s11083-010-9151-7","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,14]]}}}