scientific article; zbMATH DE number 3654207

MaRDI QIDQ3853703zbMATH OpenFDO

Authors Walter Taylor

Publication date 1979

zbMATH Keywords

Bibliographyequational logicequationally defined classes of algebrasequivalence of equational classesgeneration of equational classeslattices of equational theoriesMal'cev conditionsProblemsword problems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Equational logic, Mal'tsev conditions (08B05)

Cited in

(42)

• Condensed detachment as a rule of inference
• Varieties of algebraic systems and propositional calculi
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• On the relationship of AP, RS and CEP in congruence modular varieties
• Unification theory
• Structural diversity in the lattice of equational theories
• Discriminator varieties and symbolic computation
• A field guide to equational logic
• Bjarni Jónsson's contributions in algebra
• On P-compatible hybrid identities and hyperidentities
• Equational treatment of first-order logic
• Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
• On equational theories, unification, and (un)decidability
• Covering in the lattice of equational theories and some properties of term finite theories
• Equational density of clones of polynomial functions
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification
• Division by zero in non-involutive meadows
• Idempotent variations on the theme of exclusive disjunction
• Equational logic and categorical semantics for multi-languages
• A complete equational axiomatisation of partial differentiation
• Varieties of regular semigroups with uniquely defined inversion
• Lattices of polynomials under substitution
• Absolute retracts and essential extensions in congruence modular varieties
• Power series solutions of Tarski's associativity law and of the cyclic associativity law
• Regular varieties of automata and coequations
• Transformation of fractions into simple fractions in divisive meadows
• On the Relationship Between AP, RS and CEP
• Equational Theories with a Minority Polynomial
• scientific article; zbMATH DE number 3749082 (Why is no real title available?)
• Some Universal Sets of Terms
• Varieties of Commutative Semigroups
• scientific article; zbMATH DE number 597743 (Why is no real title available?)
• Tarski’s finite basis problem via 𝐀(𝒯)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• An equational logic sampler
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Adas and the equational theory of if-then-else
• On normal and regular identities
• A new product of algebras and a type reduction theorem
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Bounded and well-placed theories in the lattice of equational theories
• Congruence-distributive varieties of algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3853703)