{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T09:23:39Z","timestamp":1751102619628},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[[2014,11]]},"DOI":"10.1007\/s11083-013-9309-1","type":"journal-article","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T14:40:08Z","timestamp":1382971208000},"page":"403-419","source":"Crossref","is-referenced-by-count":11,"title":["Quasi-orthomodular Posets and Weak BCK-algebras"],"prefix":"10.1007","volume":"31","author":[{"given":"J\u0101nis","family":"C\u012brulis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"issue":"19","key":"9309_CR1","first-page":"177","volume":"4","author":"JC Abbott","year":"1967","unstructured":"Abbott, J.C.: Semi-Boolean algebras. Mat. Vesn. 4(19), 177\u2013188 (1967)","journal-title":"Mat. Vesn."},{"key":"9309_CR2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF02120879","volume":"35","author":"JC Abbott","year":"1976","unstructured":"Abbott, J.C.: Orthoimplication algebras. Stud. Logica 35, 173\u2013177 (1976)","journal-title":"Stud. Logica"},{"key":"9309_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-5215-7","volume-title":"Orthomodular lattices. Algebraic Approach","author":"L Beran","year":"1985","unstructured":"Beran, L.: Orthomodular lattices. Algebraic Approach. D. Reidel Publ. Co., Dordrecht e.a., Academia, Prague (1985)"},{"key":"9309_CR4","first-page":"577","volume":"44","author":"I Chajda","year":"2003","unstructured":"Chajda, I.: Lattices and semilattices having an antitone involution in every upper interval. Comment. Math. Univ. Carol. 44, 577\u2013585 (2003)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9309_CR5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.7151\/dmgaa.1098","volume":"25","author":"I Chajda","year":"2005","unstructured":"Chajda, I.: Distributivity of bounded lattices with sectionally antitone involutions. Discuss. Math. Gen. Algebra Appl. 25, 155\u2013163 (2005)","journal-title":"Discuss. Math. Gen. Algebra Appl."},{"key":"9309_CR6","doi-asserted-by":"crossref","first-page":"141","DOI":"10.7151\/dmgaa.1108","volume":"26","author":"I Chajda","year":"2006","unstructured":"Chajda, I.: Implication algebras. Discuss. Math. Gen. Algebra Appl. 26, 141\u2013153 (2006)","journal-title":"Discuss. Math. Gen. Algebra Appl."},{"key":"9309_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.disc.2006.05.040","volume":"307","author":"I Chajda","year":"2007","unstructured":"Chajda, I.: Orthomodular semilattices. Discrete Math. 307, 115\u2013118 (2007)","journal-title":"Discrete Math."},{"issue":"133","key":"9309_CR8","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10587-008-0002-2","volume":"58","author":"I Chajda","year":"2008","unstructured":"Chajda, I.: The axioms for implication in orthologic. Czech. Math. J. 58(133), 15\u201321 (2008)","journal-title":"Czech. Math. J."},{"key":"9309_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.7151\/dmgaa.1073","volume":"24","author":"I Chajda","year":"2004","unstructured":"Chajda, I., Emanovsk\u00fd, P.: Bounded lattices with antitone involutions and properties of MV-algebras. Discuss. Math. Gen. Algebra Appl. 24, 31\u201342 (2004)","journal-title":"Discuss. Math. Gen. Algebra Appl."},{"key":"9309_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.18514\/MMN.2006.130","volume":"7","author":"I Chajda","year":"2006","unstructured":"Chajda, I., Emanovsk\u00fd, P.: Sectional switching mappings in semilattices. Miskolc Math. Notes 7, 113\u2013120 (2006)","journal-title":"Miskolc Math. Notes"},{"key":"9309_CR11","first-page":"385","volume":"10","author":"I Chajda","year":"2004","unstructured":"Chajda, I., Hala\u0161, R.: Abbott Groupoids. J. Mult.-Val. Log. Soft Comput. 10, 385\u2013394 (2004)","journal-title":"J. Mult.-Val. Log. Soft Comput."},{"key":"9309_CR12","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/s10773-005-7051-1","volume":"44","author":"I Chajda","year":"2005","unstructured":"Chajda, I., Hala\u0161, R.: An implication in orthologic. Int. J. Theor. Phys. 44, 30\u201347 (2005)","journal-title":"Int. J. Theor. Phys."},{"key":"9309_CR13","first-page":"19","volume":"71","author":"I Chajda","year":"2005","unstructured":"Chajda, I., Hala\u0161, R., K\u00fchr, J.: Distributive lattices with sectionally antitone involutions. Acta Sci. Math. (Szeged) 71, 19\u201331 (2005)","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"9309_CR14","volume-title":"Semilattice Structures","author":"I Chajda","year":"2007","unstructured":"Chajda, I., Hala\u0161, R., K\u00fchr, J.: Semilattice Structures. Heldermann Verlag, Lemgo (2007)"},{"key":"9309_CR15","doi-asserted-by":"crossref","first-page":"1875","DOI":"10.1023\/A:1011933018776","volume":"40","author":"I Chajda","year":"2001","unstructured":"Chajda, I., Hala\u0161, R., L\u00e4nger, H.: Orthomodular implication algebras. Int. J. Theor. Phys. 40, 1875\u20131884 (2001)","journal-title":"Int. J. Theor. Phys."},{"key":"9309_CR16","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1023\/B:IJTP.0000048587.50827.93","volume":"43","author":"I Chajda","year":"2004","unstructured":"Chajda, I., Hala\u0161, R., L\u00e4nger, H.: Simple axioms for orthomodular implication algebras. Int. J. Theor. Phys. 43, 911\u2013914 (2004)","journal-title":"Int. J. Theor. Phys."},{"key":"9309_CR17","first-page":"231","volume":"76","author":"I Chajda","year":"2007","unstructured":"Chajda, I., Hala\u0161, R., L\u00e4nger, H.: Congruence kernels of orthoimplication algebras. Acta Math. Univ. Comen., New Ser. 76, 231\u2013240 (2007)","journal-title":"Acta Math. Univ. Comen., New Ser."},{"key":"9309_CR18","doi-asserted-by":"crossref","first-page":"4724","DOI":"10.1016\/j.disc.2007.08.101","volume":"308","author":"I Chajda","year":"2008","unstructured":"Chajda, I., Hala\u0161, R., L\u00e4nger, H.: Congruence kernels of orthomodular implication algebras. Discrete Math. 308, 4724\u20134735 (2008)","journal-title":"Discrete Math."},{"key":"9309_CR19","doi-asserted-by":"crossref","first-page":"4906","DOI":"10.1016\/j.disc.2007.09.009","volume":"308","author":"I Chajda","year":"2008","unstructured":"Chajda, I., Kola\u0159\u00edk, M.: Nearlattices. Discrete Math. 308, 4906\u20134913 (2008)","journal-title":"Discrete Math."},{"key":"9309_CR20","first-page":"21","volume":"49","author":"I Chajda","year":"2010","unstructured":"Chajda, I., Kola\u0159\u00edk, M., \u0160vr\u010dek, F.: Implication and equivalential reducts of basic algebras. Acta Univ. Palacki. Olomouc. Fac. Rer. Nat. Mathematica 49, 21\u201336 (2010)","journal-title":"Acta Univ. Palacki. Olomouc. Fac. Rer. Nat. Mathematica"},{"key":"9309_CR21","first-page":"33","volume":"216","author":"I Chajda","year":"2007","unstructured":"Chajda, I., L\u00e4nger, H.: Generalizations of implication algebra. Osterreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II 216, 33\u201343 (2007)","journal-title":"Osterreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II"},{"key":"9309_CR22","first-page":"228","volume":"52","author":"J [ERROR while converting LaTeX\/Unico","year":"1998","unstructured":"C\u012brulis, J.: Subtractive nearsemilattices. Proc. Latv. Acad. Sci. Sect. B 52, 228\u2013233 (1998)","journal-title":"Proc. Latv. Acad. Sci. Sect. B"},{"key":"9309_CR23","first-page":"43","volume-title":"Contributions to General Algebra","author":"J Cirulis","year":"2004","unstructured":"C\u012brulis, J.: Knowledge representation systems and skew nearlattices. In: Chajda, I., et al. (eds.) Contributions to General Algebra, vol.\u00a014, pp.\u00a043\u201351. Verl. Johannes Heyn, Klagenfurt (2004)"},{"key":"9309_CR24","first-page":"477","volume":"74","author":"J Cirulis","year":"2008","unstructured":"C\u012brulis, J.: Implication in sectionally pseudocomplemented posets. Acta Sci. Math. (Szeged) 74, 477\u2013479 (2008)","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"9309_CR25","first-page":"33","volume-title":"Contributions to General Algebra","author":"J Cirulis","year":"2010","unstructured":"C\u012brulis, J.: Skew nearlattices: some structure and representation theorems. In: Chajda, I., et al. (eds.) Contributions to General Algebra, vol.\u00a019, pp.\u00a033\u201344. Verl. Johannes Heyn, Klagenfurt (2010)"},{"key":"9309_CR26","first-page":"725","volume":"43","author":"J Cirulis","year":"2010","unstructured":"C\u012brulis, J.: Subtraction-like operations in nearsemilattices. Demonstratio Math. 43, 725\u2013738 (2010)","journal-title":"Demonstratio Math."},{"key":"9309_CR27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.21136\/MB.2013.143290","volume":"138","author":"J Cirulis","year":"2013","unstructured":"C\u012brulis, J.: On JP-semilattices of Begum and Noor. Math. Bohem. 138, 181\u2013184 (2013)","journal-title":"Math. Bohem."},{"key":"9309_CR28","unstructured":"C\u012brulis, J.: Further remarks on an order of quantum observables. Math. Slovaca. A version available at http:\/\/arxiv.org\/abs\/1301.0640 (to appear)"},{"key":"9309_CR29","unstructured":"C\u012brulis, J.: On some varieties of commutative weak BCK-algebras. Studia Logica. Available at http:\/\/arxiv.org\/abs\/1304.0999 (submitted)"},{"key":"9309_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2422-7","volume-title":"New Trends in Quantum Structures","author":"A Dvure\u010denskij","year":"2000","unstructured":"Dvure\u010denskij, A., Pulmannov\u00e1, S.: New Trends in Quantum Structures. Kluwer Acad. Publ.\/Ister Sci., Dordrecht\/Bratislava (2000)"},{"key":"9309_CR31","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1090\/S0002-9947-1965-0171732-1","volume":"117","author":"PA Fillmore","year":"1965","unstructured":"Fillmore, P.A.: The dimension theory of certain cardinal algebras. Trans. Amer. Math. Soc. 117, 21\u201336 (1965)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9309_CR32","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1017\/S1446788700005978","volume":"11","author":"PD Finch","year":"1970","unstructured":"Finch, P.D.: On orthomodular posets. J. Austral. Math. Soc. 11, 57\u201362 (1970)","journal-title":"J. Austral. Math. Soc."},{"key":"9309_CR33","volume-title":"Lattice Theory","author":"G Gr\u00e4tzer","year":"1998","unstructured":"Gr\u00e4tzer, G.: Lattice Theory. Birkh\u00e4user Verl., Basel and Stutgart (1998)"},{"key":"9309_CR34","first-page":"573","volume":"56","author":"S Gudder","year":"2006","unstructured":"Gudder, S.: An order of quantum observables. Math. Slovaca 56, 573\u2013589 (2006)","journal-title":"Math. Slovaca"},{"key":"9309_CR35","first-page":"309","volume":"11","author":"R Hala\u0161","year":"2005","unstructured":"Hala\u0161, R.: Ideals and D-systems in orthoimplication algebras. J. Mult.-Val. Log. Soft Comput. 11, 309\u2013316 (2005)","journal-title":"J. Mult.-Val. Log. Soft Comput."},{"key":"9309_CR36","doi-asserted-by":"crossref","first-page":"423","DOI":"10.21136\/MB.2007.133966","volume":"132","author":"R Hala\u0161","year":"2007","unstructured":"Hala\u0161, R., Plojhar, L.: On systems of congruences on principal filters of orthomodular implication algebras. Math. Bohem 132, 423\u2013435 (2007)","journal-title":"Math. Bohem"},{"key":"9309_CR37","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0012-365X(00)00189-8","volume":"234","author":"J Hedl\u00edkov\u00e1","year":"2001","unstructured":"Hedl\u00edkov\u00e1, J.: Relatively orthomodular lattices. Discrete Math. 234, 17\u201338 (2001)","journal-title":"Discrete Math."},{"key":"9309_CR38","first-page":"247","volume":"65","author":"J Hedl\u00edkov\u00e1","year":"1996","unstructured":"Hedl\u00edkov\u00e1, J., Pulmannov\u00e1, S.: Generalized difference posets and orthoalgebras. Acta Math. Univ. Comen., New Ser. 65, 247\u2013279 (1996)","journal-title":"Acta Math. Univ. Comen., New Ser."},{"issue":"1965","key":"9309_CR39","first-page":"660","volume":"9","author":"MF Janowitz","year":"1965","unstructured":"Janowitz, M.F.: Quantifier theory on quasi-orthomodular lattices. Ill. J. Math. 9(1965), 660\u2013676 (1965)","journal-title":"J. Math."},{"key":"9309_CR40","first-page":"89","volume":"8","author":"MF Janowitz","year":"1968","unstructured":"Janowitz, M.F.: A note on generalized orthomodular lattices. J. Natur. Sci. Math. 8, 89\u201394 (1968)","journal-title":"J. Natur. Sci. Math."},{"key":"9309_CR41","first-page":"772","volume":"16","author":"RJ Kimble","year":"1969","unstructured":"Kimble, R.J.: Orthoimplication algebras. Notices Amer. Math. Soc. 16, 772\u2013773 (1969)","journal-title":"Notices Amer. Math. Soc."},{"key":"9309_CR42","first-page":"156","volume":"24","author":"S Maeda","year":"1960","unstructured":"Maeda, S.: On relatively semi-orthocomplemented lattices. J. Sci. Hiroshima Univ. Ser. A 24, 156\u2013161 (1960)","journal-title":"J. Sci. Hiroshima Univ. Ser. A"},{"key":"9309_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-46248-1","volume-title":"Theory of Symmetric Lattices","author":"F Maeda","year":"1970","unstructured":"Maeda, F., Maeda, S.: Theory of Symmetric Lattices. Springer, Berlin-Heidelberg, New\u00a0York (1970)"},{"key":"9309_CR44","first-page":"263","volume":"24","author":"A Mayet-Ippolito","year":"1991","unstructured":"Mayet-Ippolito, A.: Generalized orthomodular posets. Demonstratio Math. 24, 263\u2013274 (1991)","journal-title":"Demonstratio Math."},{"key":"9309_CR45","doi-asserted-by":"crossref","first-page":"589","DOI":"10.2478\/s12175-007-0048-x","volume":"57","author":"S Pulmannov\u00e1","year":"2007","unstructured":"Pulmannov\u00e1, S., Vincekov\u00e1, E.: Remarks on the order for quantum observables. Math. Slovaca 57, 589\u2013600 (2007)","journal-title":"Math. Slovaca"},{"key":"9309_CR46","doi-asserted-by":"crossref","first-page":"123","DOI":"10.21136\/MB.1994.126085","volume":"119","author":"J Tkadlec","year":"1994","unstructured":"Tkadlec, J.: Boolean orthoposets\u2013concreteness and orthocompleteness. Math. Bohem 119, 123\u2013128 (1994)","journal-title":"Math. Bohem"},{"key":"9309_CR47","first-page":"283","volume":"24","author":"T Traczyk","year":"1979","unstructured":"Traczyk, T.: On the variety of bounded commutative BCK-algebras. Math. Jap. 24, 283\u2013292 (1979)","journal-title":"Math. Jap."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-013-9309-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-013-9309-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-013-9309-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,6]],"date-time":"2020-08-06T22:17:33Z","timestamp":1596752253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-013-9309-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["9309"],"URL":"https:\/\/doi.org\/10.1007\/s11083-013-9309-1","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,29]]}}}