Computer Solutions of Problems in Inverse Semigroups

REFERENCES

• Araújo , J. , McCune , W. http://www.cs.unm.edu/~mccune/papers/inverse-semigroups/ Inverse Semigroups. Accessed 22 February 2010 .
   Google Scholar
• Croisot , R. ( 1953 ). Demi-groupes et axiomatique des groupes . C. R. Acad. Sci. Paris 237 : 778 – 780 .
   Google Scholar
• Dahn , B. ( 1998 ). Robbins algebras are boolean . J. Algebra 208 ( 2 ): 526 – 532 .
   Web of Science ®Google Scholar
• Henkin , L. , Monk , J. , Tarski , A. ( 1971 ). Cylindric Algebras, Part I, Studies in Logic and the Foundations of Mathematics . Vol. 64 , Amsterdam-London : North-Holland Publishing Co .
   Google Scholar
• Higman , G. , Neumann , B. H. ( 1952 ). Groups as groupoids with one law . Publ. Math. Deberecen 2 : 215 – 221 .
   Google Scholar
• Howie , J. M. ( 1995 ). Fundamentals of Semigroup Theory . Oxford : Oxford Science Publications .
   Google Scholar
• Huntington , E. (1933). New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica. Trans. Amer. Math. Soc. 35:274–304.
   Google Scholar
• Huntington , E. ( 1933 ). Boolean algebra: A correction . Trans. Amer. Math. Soc. 35 : 557 – 558 .
   Google Scholar
• Kimura , N. , Sen , M. K. ( 1980 ). On Bigroupoids, Collected Abstracts, Special Session of Semigroups . Davis : University of California , pp. 17 – 22 .
   Google Scholar
• Kunen , K. ( 1992 ). Single axioms for groups . J. Automat. Reason. 9 : 291 – 308 .
   Google Scholar
• Lawson , M. ( 1998 ). Inverse Semigroups . River Edge , NJ : World Scientific Publishing Co., Inc.
   Google Scholar
• Lusk , E. , McFadden , R. ( 1987 ). Using automated reasoning tools: a study of the semigroup F 2 B 2 . Semigroup Forum 36 ( 1 ): 75 – 87 .
   Web of Science ®Google Scholar
• McCune , W. ( 1992 ). Automated discovery of new axiomatizations of the left group and right group calculi . J. Automat. Reason. 9 ( 1 ): 1 – 24 .
   Google Scholar
• McCune , W. ( 1993 ). Single axioms for groups and Abelian groups with various operations . J. Automat. Reason. 10 : 1 – 13 .
   Google Scholar
• McCune , W. ( 1993 ). Single axioms for the left group and right group calculi . Notre Dame J. Form. Log. 34 ( 1 ): 132 – 139 .
   Google Scholar
• McCune , W. ( 1997 ). Solution of the Robbins problem . J. Automat. Reason. 19 ( 3 ): 263 – 276 .
   Web of Science ®Google Scholar
• McCune , W. ( 2003 ). Otter 3.3 Reference Manual, Mathematics and Computer Science Division, Argonne National Laboratory, August .
   Google Scholar
• McCune , W. ( 2003 ). Mace4 Reference Manual and Guide, Mathematics and Computer Science Division, Argonne National Laboratory, August .
   Google Scholar
• McCune , W. ( 2005–2008 ). Prover9, http://www.cs.unm.edu/~mccune/prover9/ .
   Google Scholar
• McCune , W. , Padmanabhan , R. ( 1996 ). Single identities for lattice theory and for weakly associative lattices . Algebra Universalis 36 ( 4 ): 436 – 449 .
   Web of Science ®Google Scholar
• McCune , W. , Sands , A. D. ( 1996 ). Computer and human reasoning: Single implicative axioms for groups and for Abelian groups . Amer. Math. Monthly 103 ( 10 ): 888 – 892 .
   Web of Science ®Google Scholar
• McCune , W. , Shumsky , O. ( 2000 ). A preprocessor and proof checker for first-order logic , Ch. 16 . In: Kaufmann , M. , Manolios , P. , Moore , J. , eds. Computer-Aided Reasoning: ACL2 Case Studies . Kluwer Academic .
   Google Scholar
• McCune , W. , Veroff , R. , Fitelson , B. , Harris , K. , Feist , A. , Wos , L. ( 2002 ). Short single axioms for Boolean algebra . J. Automat. Reason. 29 ( 1 ): 1 – 16 .
   Web of Science ®Google Scholar
• McNulty , G. F. ( 1992 ). A field guide to equational logic . J. Symbolic Comput. 14 : 371 – 397 .
   Google Scholar
• McNulty , G. F. ( 2004 ). Minimum bases for equational theories of groups and rings . Ann. Pure App. Logic 127 : 131 – 153 .
   Google Scholar
• Meredith , C. ( 1969 ). Equational postulates for the Sheffer stroke . Notre Dame J. Form. Log. 10 ( 3 ): 266 – 270 .
   Google Scholar
• Neumann , B. H. Another single law for groups . Bull. Aust. Math. Soc. 23 : 81 – 102 .
   Google Scholar
• Neumann , B. H. Yet another single law for groups . Illinois J. Math. 30 ( 2 ): 295 – 300 .
   Web of Science ®Google Scholar
• Neumann , P. M. ( 1999 ). What groups were . Bull. Austral. Math. Soc. 60 : 285 – 301 .
   Google Scholar
• Padmanabhan , R. McCune , W. ( 1995 ). Single identities for ternary Boolean algebras . Computers and Mathematics with Applications 29 ( 2 ): 13 – 16 .
   Web of Science ®Google Scholar
• Pigozzi , D. ( 1975 ). Equational Logic and Equational Theories of Algebras. Mimeographed at Iowa State University, 1970, and reissued at Purdue University .
   Google Scholar
• Pilz , G. ( 1983 ). Near-Rings: The Theory and Its Applications. , 2nd ed. , North-Holland Mathematics Studies , Vol. 23 . Amsterdam : North-Holland Publishing Co .
   Google Scholar
• Schein , B. M. ( 1963 ). On the theory of generalized groups . Doklady Akad. Nauk SSSR 153 ( 2 ): 296 – 299 .
   Google Scholar
• Schein , B. M. (1979). On the theory of inverse semigroups and generalized grouds. Amer. Math. Soc. Transl. 113(2):89–122.
   Google Scholar
• Sheffer , H. ( 1913 ). A set of five independent postulates for Boolean algebras . Trans. Amer. Math. Soc. 14 ( 4 ): 481 – 488 .
   Google Scholar
• Sholander , M. ( 1959 ). Postulates for commutative groups . Amer. Math. Monthly 66 : 93 – 95 .
   Google Scholar
• Stolt , B. ( 1953 ). Über Axiomensysteme die eine abstrakte Gruppe bestimmen (Thesis). University of Uppsala. Uppsala : Almqvist & Wiksells .
   Google Scholar
• Tamura , T. ( 1985 ). Algebraic systems associated with involuted regular semigroups, Semigroups (Szeged, 1981), 471–488, Colloq. Math. Soc. János Bolyai , Vol. 39 , Amsterdam : North–Holland .
   Google Scholar
• Tarski , A. ( 1938 ). Ein beitrag axiomatik der abelshen gruppen . Fundamenta Mathematicae 30 : 253 – 256 .
   Google Scholar
• Tarski , A. ( 1968 ). Equational Logic and Equational Theories of Algebras . Contributions to Math. Logic (Colloquium, Hannover, 1966) , Amsterdam : North-Holland , pp. 275 – 288 .
   Google Scholar
• Tasić , V. ( 1988 ). On single-law definitions of groups . Bull. Austral. Math. Soc. 37 : 101 – 106 .
   Google Scholar
• Taylor , W. ( 1979 ). Equational logic . Houston J. Math. 37 : 1 – 83 .
   Google Scholar
• Ulrich , D. ( 2001 ). A legacy recalled and a tradition continued . J. Automat. Reason. 27 ( 2 ): 97 – 122 .
   Web of Science ®Google Scholar
• Winker , S. , Wos , L. , Lusk , E. ( 1981 ). Semigroups, antiautomorphisms and involutions: A computer solution to an open problem . Math. of Comp. 37 : 533 – 545 .
   Google Scholar
• Communicated by V. Gould.
   Google Scholar