{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,21]],"date-time":"2024-04-21T23:40:18Z","timestamp":1713742818006},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2012,3,24]],"date-time":"2012-03-24T00:00:00Z","timestamp":1332547200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s00153-012-0276-9","type":"journal-article","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T18:30:18Z","timestamp":1332527418000},"page":"461-474","source":"Crossref","is-referenced-by-count":2,"title":["A method for finding new sets of axioms for classes of semigroups"],"prefix":"10.1007","volume":"51","author":[{"given":"Jo\u00e3o","family":"Ara\u00fajo","sequence":"first","affiliation":[]},{"given":"Janusz","family":"Konieczny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,3,24]]},"reference":[{"key":"276_CR1","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0021-8693(03)00499-X","volume":"269","author":"J. Ara\u00fajo","year":"2003","unstructured":"Ara\u00fajo J., Konieczny J.: Automorphism groups of centralizers of idempotents. J. Algebra 269, 227\u2013239 (2003)","journal-title":"J. Algebra"},{"key":"276_CR2","doi-asserted-by":"crossref","first-page":"1917","DOI":"10.1081\/AGB-120029913","volume":"32","author":"J. Ara\u00fajo","year":"2004","unstructured":"Ara\u00fajo J., Konieczny J.: Semigroups of transformations preserving an equivalence relation and a cross-section. Comm. Algebra 32, 1917\u20131935 (2004)","journal-title":"Comm. Algebra"},{"issue":"3","key":"276_CR3","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1080\/00927870902911797","volume":"38","author":"J. Ara\u00fajo","year":"2010","unstructured":"Ara\u00fajo J., McCune W.: Computer solutions of problems in inverse semigroups. Comm. Algebra 38(3), 1104\u20131121 (2010)","journal-title":"Comm. Algebra"},{"key":"276_CR4","first-page":"778","volume":"237","author":"R. Croisot","year":"1953","unstructured":"Croisot R.: Demi-groupes et axiomatique des groupes. C. R. Acad. Sci. Paris 237, 778\u2013780 (1953)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"276_CR5","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00881714","volume":"14","author":"J. Hart","year":"1995","unstructured":"Hart J., Kunen K.: Single axioms for odd exponent groups. J. Automat. Reason. 14, 383\u2013412 (1995)","journal-title":"J. Automat. Reason."},{"key":"276_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.5486\/PMD.1952.2.3-4.10","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman G., Neumann B.H.: Groups as groupoids with one law. Publ. Math. Debrecen 2, 215\u2013221 (1952)","journal-title":"Publ. Math. Debrecen"},{"key":"276_CR7","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/s00407-009-0044-3","volume":"63","author":"C. Hollings","year":"2009","unstructured":"Hollings C.: The early development of the algebraic theory of semigroups. Arch. Hist. Exact Sci. 63, 497\u2013536 (2009)","journal-title":"Arch. Hist. Exact Sci."},{"key":"276_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198511946.001.0001","volume-title":"Fundamentals of Semigroup Theory","author":"J.M. Howie","year":"1995","unstructured":"Howie J.M.: Fundamentals of Semigroup Theory. Oxford University Press, New York, NY (1995)"},{"key":"276_CR9","first-page":"274","volume":"35","author":"E.V. Huntington","year":"1933","unstructured":"Huntington E.V.: New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell\u2019s principia mathematica. Trans. Am. Math. Soc. 35, 274\u2013304 (1933)","journal-title":"Trans. Am. Math. Soc."},{"key":"276_CR10","first-page":"557","volume":"35","author":"E.V. Huntington","year":"1933","unstructured":"Huntington E.V.: Boolean algebra. A correction to: new sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell\u2019s principia mathematica. Trans. Am. Math. Soc. 35, 557\u2013558 (1933)","journal-title":"Trans. Am. Math. Soc."},{"key":"276_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1305\/ndjfl\/1093888216","volume":"19","author":"J.A. Kalman","year":"1978","unstructured":"Kalman J.A.: A shortest single axiom for the classical equivalential calculus. Notre Dame J. Form. Log. 19, 141\u2013144 (1978)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s00012-002-8205-0","volume":"48","author":"M.K. Kinyon","year":"2002","unstructured":"Kinyon M.K., Kunen K., Phillips J.D.: A generalization of Moufang and Steiner loops. Algebra Universalis 48, 81\u2013101 (2002)","journal-title":"Algebra Universalis"},{"key":"276_CR13","first-page":"367","volume":"48","author":"J. Konieczny","year":"1998","unstructured":"Konieczny J., Lipscomb S.: Centralizers in the semigroup of partial transformations. Math. Japon. 48, 367\u2013376 (1998)","journal-title":"Math. Japon."},{"key":"276_CR14","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00245293","volume":"9","author":"K. Kunen","year":"1992","unstructured":"Kunen K.: Single axioms for groups. J. Automat. Reason. 9, 291\u2013308 (1992)","journal-title":"J. Automat. Reason."},{"key":"276_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0898-1221(94)00212-4","volume":"29","author":"K. Kunen","year":"1995","unstructured":"Kunen K.: The shortest single axioms for groups of exponent 4. Comput. Math. Appl. 29, 1\u201312 (1995)","journal-title":"Comput. Math. Appl."},{"key":"276_CR16","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"J. \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz J.: Selected works. In: Borkowski, L. (eds) Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, London (1970)"},{"key":"276_CR17","first-page":"1","volume":"9","author":"W. McCune","year":"1992","unstructured":"McCune W.: Automated discovery of new axiomatizations of the left group and right group calculi. J. Automat. Reason. 9, 1\u201324 (1992)","journal-title":"J. Automat. Reason."},{"key":"276_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00881862","volume":"10","author":"W. McCune","year":"1993","unstructured":"McCune W.: Single axioms for groups and abelian groups with various operations. J. Automat. Reason. 10, 1\u201313 (1993)","journal-title":"J. Automat. Reason."},{"key":"276_CR19","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1305\/ndjfl\/1093634569","volume":"34","author":"W. McCune","year":"1993","unstructured":"McCune W.: Single axioms for the left group and right group calculi. Notre Dame J. Form. Log. 34, 132\u2013139 (1993)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR20","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1023\/A:1005843212881","volume":"19","author":"W. McCune","year":"1997","unstructured":"McCune W.: Solution of the Robbins problem. J. Automat. Reason. 19, 263\u2013276 (1997)","journal-title":"J. Automat. Reason."},{"key":"276_CR21","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BF01233914","volume":"36","author":"W. McCune","year":"1996","unstructured":"McCune W., Padmanabhan R.: Single identities for lattice theory and for weakly associative lattices. Algebra Universalis 36, 436\u2013449 (1996)","journal-title":"Algebra Universalis"},{"key":"276_CR22","doi-asserted-by":"crossref","first-page":"888","DOI":"10.2307\/2974613","volume":"103","author":"W. McCune","year":"1996","unstructured":"McCune W., Sands A.D.: Computer and human reasoning: single implicative axioms for groups and for abelian groups. Am. Math. Mon. 103, 888\u2013892 (1996)","journal-title":"Am. Math. Mon."},{"key":"276_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1020542009983","volume":"29","author":"W. McCune","year":"2002","unstructured":"McCune W., Veroff R., Fitelson B., Harris K., Feist A., Wos L.: Short single axioms for Boolean algebra. J. Automat. Reason. 29, 1\u201316 (2002)","journal-title":"J. Automat. Reason."},{"key":"276_CR24","unstructured":"McCune, W., Wos, L.: Applications of automated deduction to the search for single axioms for exponent groups, Logic programming and automated reasoning (St. Petersburg, (1992), 131\u2013136, Lecture Notes in Comput. Sci., 624, Springer, Berlin (1992)"},{"key":"276_CR25","first-page":"155","volume":"1","author":"C.A. Meredith","year":"1953","unstructured":"Meredith C.A.: Single axioms for the systems (C, N), (C, O) and (A, N) of the two-valued propositional calculus. J. Comput. Syst. 1, 155\u2013164 (1953)","journal-title":"J. Comput. Syst."},{"key":"276_CR26","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1305\/ndjfl\/1093893713","volume":"10","author":"C.A. Meredith","year":"1969","unstructured":"Meredith C.A.: Equational postulates for the Sheffer stroke. Notre Dame J. Form. Log. 10, 266\u2013270 (1969)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR27","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1093957574","volume":"4","author":"C.A. Meredith","year":"1963","unstructured":"Meredith C.A., Prior A.N.: Notes on the axiomatics of the propositional calculus. Notre Dame J. Form. Log. 4, 171\u2013187 (1963)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR28","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1305\/ndjfl\/1093893457","volume":"9","author":"C.A. Meredith","year":"1968","unstructured":"Meredith C.A., Prior A.N.: Equational logic. Notre Dame J. Form. Log. 9, 212\u2013226 (1968)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR29","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0004972700006912","volume":"23","author":"B.H. Neumann","year":"1981","unstructured":"Neumann B.H.: Another single law for groups. Bull. Austral. Math. Soc. 23, 81\u2013102 (1981)","journal-title":"Bull. Austral. Math. Soc."},{"key":"276_CR30","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1017\/S0004972700036406","volume":"60","author":"P.M. Neumann","year":"1999","unstructured":"Neumann P.M.: What groups were: a study of the development of the axiomatics of group theory. Bull. Austral. Math. Soc. 60, 285\u2013301 (1999)","journal-title":"Bull. Austral. Math. Soc."},{"key":"276_CR31","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1090\/S0002-9939-1973-0325498-2","volume":"41","author":"R. Padmanabhan","year":"1973","unstructured":"Padmanabhan R., Quackenbush R.W.: Equational theories of algebras with distributive congruences. Proc. Am. Math. Soc. 41, 373\u2013377 (1973)","journal-title":"Proc. Am. Math. Soc."},{"key":"276_CR32","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1305\/ndjfl\/1093887534","volume":"17","author":"J.G. Peterson","year":"1976","unstructured":"Peterson J.G.: Shortest single axioms for the classical equivalential calculus. Notre Dame J. Form. Log. 17, 267\u2013271 (1976)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR33","first-page":"63","volume":"2","author":"A. Rezus","year":"1982","unstructured":"Rezus A.: On a theorem of Tarski. Libertas Math. 2, 63\u201397 (1982)","journal-title":"Libertas Math."},{"key":"276_CR34","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1305\/ndjfl\/1093958259","volume":"6","author":"T.W. Scharle","year":"1965","unstructured":"Scharle T.W.: Axiomatization of propositional calculus with Sheffer functors. Notre Dame J. Form. Log. 6, 209\u2013217 (1965)","journal-title":"Notre Dame J. Form. Log."},{"key":"276_CR35","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1090\/S0002-9947-1913-1500960-1","volume":"14","author":"H.M. Sheffer","year":"1913","unstructured":"Sheffer H.M.: A set of five independent postulates for Boolean algebras, with application to logical constants. Trans. Am. Math. Soc. 14, 481\u2013488 (1913)","journal-title":"Trans. Am. Math. Soc."},{"key":"276_CR36","doi-asserted-by":"crossref","first-page":"93","DOI":"10.2307\/2310005","volume":"66","author":"M. Sholander","year":"1959","unstructured":"Sholander M.: Postulates for commutative groups. Am. Math. Mon. 66, 93\u201395 (1959)","journal-title":"Am. Math. Mon."},{"key":"276_CR37","first-page":"23","volume":"1","author":"B. Soboci\u0144ski","year":"1952","unstructured":"Soboci\u0144ski B.: Axiomatization of a partial system of three-value calculus of propositions. J. Comput. Syst. 1, 23\u201355 (1952)","journal-title":"J. Comput. Syst."},{"key":"276_CR38","unstructured":"Stolt B.: \u00dcber Axiomensysteme die eine abstrakte Gruppe bestimmen, (Thesis), University of Uppsala, Almqvist & Wiksells, Uppsala (1953)"},{"key":"276_CR39","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Equational logic and equational theories of algebras. Contributions to Math. Logic (Colloquium, Hannover, 1966), North-Holland, Amsterdam (1968)","DOI":"10.1016\/S0049-237X(08)70531-7"},{"key":"276_CR40","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1017\/S0004972700004196","volume":"37","author":"V. Tasi\u0107","year":"1988","unstructured":"Tasi\u0107 V.: On single-law definitions of groups. Bull. Austral. Math. Soc. 37, 101\u2013106 (1988)","journal-title":"Bull. Austral. Math. Soc."},{"key":"276_CR41","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1016\/0021-8693(92)90162-F","volume":"153","author":"S. Winker","year":"1992","unstructured":"Winker S.: Absorption and idempotency criteria for a problem in near-Boolean algebras. J. Algebra 153, 414\u2013423 (1992)","journal-title":"J. Algebra"},{"key":"276_CR42","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1021693818601","volume":"29","author":"L. Wos","year":"2002","unstructured":"Wos L., Ulrich D., Fitelson B.: Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus. J. Automat. Reason. 29, 107\u2013124 (2002)","journal-title":"J. Automat. Reason."},{"key":"276_CR43","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1305\/ndjfl\/1093870311","volume":"24","author":"L. Wos","year":"1983","unstructured":"Wos L., Winker S., Veroff R., Smith B., Henschen L.: Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Form. Log. 24, 205\u2013223 (1983)","journal-title":"Notre Dame J. Form. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0276-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-012-0276-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0276-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,21]],"date-time":"2024-04-21T23:00:36Z","timestamp":1713740436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-012-0276-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,24]]},"references-count":43,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["276"],"URL":"https:\/\/doi.org\/10.1007\/s00153-012-0276-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,24]]}}}