Discriminator varieties and symbolic computation

Ackermann, 1954 Albert, 1991 Arens, 1948, Topological representations of algebras, Trens. Amer. Math. Soc., 63, 457, 10.1090/S0002-9947-1948-0025453-6 Bernays, 1937, A system of axiomatic set theory. Part I, J. Symbolic Logic, 2, 65, 10.2307/2268862 Bernays, 1937, A system of axiomatic set theory. Part II, J. Symbolic Logic, 6, 1, 10.2307/2267281 Birkhoff, 1935, On the structure of abstract algebras, Proc. Oamb. Phil. Soc., 31, 433, 10.1017/S0305004100013463 Birkhoff, 1944, Subdirect unions in universell algebra, Bull. Amer. Math. Soc., 50, 764, 10.1090/S0002-9904-1944-08235-9 Bloom, 1983, Varieties of “if-then-else”, Siam J. Computing, 12, 677, 10.1137/0212047 Bulman-Fleming, 1977, Equational compactness in quasi-primal varieties, Algebra Universalis, 7, 33, 10.1007/BF02485416 Büttner, 1987, Embedding Boolean expressions into logic programming, J. Symbolic Computation, 4, 191, 10.1016/S0747-7171(87)80065-2 Burris, 1984, Boolean constructions, Universal Algebra and Lattice Theory, 1004, 67, 10.1007/BFb0063430 Burris, S., McKenzie, R., Valeriote, M., Decidable discriminator varieties. To appear in J. Symbolic Logic. Burris, 1981, 78 Burris, 1979, Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc., 248, 269, 10.1090/S0002-9947-1979-0522263-8 Dauns, 1966, The representation of biregular rings by sheaves, Math. Z., 91, 103, 10.1007/BF01110158 Dershowitz, 1989, Completion and its applications, Vol. 2 Foster, 1953, Generalized “Boolean” theory of universal algebras. Part I. Subdirect sums and normal representation theorem, Math. Z., 58, 306, 10.1007/BF01174150 Foster, 1953, Generalized “Boolean” theory of universal algebras. Part II, Identities and subdirect sums in functionally complete algebras, Math. Z., 59, 191, 10.1007/BF01180250 Garey, 1979 Gödel, 1940 Henkln, 1975 Henkln, 1975 Herbrand, 1930, Recherches sur la théorie de la démonstration, Travaux de la Société des Sciences et des Lettres Varsovie. Cl. III, 33 Herstein, 1975 Hsiang, 1983, Rewrite methods for clausal and non-clausal theorem proving, 154, 331 Hsiang, 1985, Refutational theorem proving using term rewriting systems, Artificial Intelligence, 25, 255, 10.1016/0004-3702(85)90074-8 Hsiang, 1987, Rewrite method for theorem proving in first-order theory with equality, J. Symbolic Computation, 3, 133, 10.1016/S0747-7171(87)80024-X Huntington, 1904, Sets of independent postulates for the algebra of logic, Trans. Amer. Math. Soc., 5, 288, 10.1090/S0002-9947-1904-1500675-4 Jacobson, 1945, Structure theory for algebraic algebras of bounded degree, Ann. of Math., 46, 695, 10.2307/1969205 McCoy, 1937, A representation of generalized Boolean rings, Duke Math. J., 3, 455, 10.1215/S0012-7094-37-00335-1 Lawrence, 1991 Lawrence, 1991 McKenzie, 1975, On spectra, and the negative solution of the decision problem for identities having a finite non-trivial model, J. Symbolic Logic, 40, 186, 10.2307/2271899 McKenzie, 1987, Vol. I McNulty, 1989, An equational logic sampler, 355, 234 Mekler, 1987, Equational bases for if-then-else, Siam J. Computing, 16, 465, 10.1137/0216033 Mostowski, 1965 Nipkow, 1990, Unification in primal algebras, their powers and their varieties, J. Assoc. Comp. Mach., 37, 742, 10.1145/96559.96569 Padmanabhan, 1977, Equational theory of algebras with a majority polynomial, Algebra Universalis, 7, 273, 10.1007/BF02485437 Paul, 1985, Equational methods in first-order predicate calculus, J. Symbolic Computation, 1, 7, 10.1016/S0747-7171(85)80026-2 Robinson, 1965, A machine oriented logic based on the resolution principle, J. Assoc. Comp. Mach., 12, 23, 10.1145/321250.321253 Rosenbloom, 1942, Post algebras I. Postulates and general theory, Amer. J. Math., 64, 167, 10.2307/2371676 Schröder, 1890, Vol. I–III Siekmann, 1989, Unification theory, J. Symbolic Computation, 7, 207, 10.1016/S0747-7171(89)80012-4 Tarski, 1987, A Formalism of Set Theory without Variables, Amer. Math. Soc. Colloq. Publications, 41, 10.1090/coll/041 Taylor, 1979, Equational Logic, Houston J. of Math, 5 von Neumann, 1925, Eine Axiomatisierung der Mengenlehre, J. Reine Angew. Math., 154, 219, 10.1515/crll.1925.154.219 Werner, 1978, Band 6