scientific article
From MaRDI portal
Publication:3853703
zbMath0421.08004MaRDI QIDQ3853703
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lattices of equational theoriesequational logicBibliographyMal'cev conditionsword problemsProblemsequationally defined classes of algebrasequivalence of equational classesgeneration of equational classes
Equational logic, Mal'tsev conditions (08B05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (42)
Bjarni Jónsson's contributions in algebra ⋮ Varieties of algebraic systems and propositional calculi ⋮ Lattices of polynomials under substitution ⋮ Power series solutions of Tarski's associativity law and of the cyclic associativity law ⋮ Partial evaluation and \(\omega\)-completeness of algebraic specifications ⋮ On the relationship of AP, RS and CEP in congruence modular varieties ⋮ On \(P\)-compatible hybrid identities and hyperidentities ⋮ Equational logic and categorical semantics for multi-languages ⋮ A complete equational axiomatisation of partial differentiation ⋮ Transformation of fractions into simple fractions in divisive meadows ⋮ Equational treatment of first-order logic ⋮ Equational density of clones of polynomial functions ⋮ Absolute retracts and essential extensions in congruence modular varieties ⋮ An equational logic sampler ⋮ Combination problems for commutative/monoidal theories or how algebra can help in equational unification ⋮ Unification theory ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Regular Varieties of Automata and Coequations ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Equational Theories with a Minority Polynomial ⋮ Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. ⋮ Bounded and well-placed theories in the lattice of equational theories ⋮ Tarski’s finite basis problem via 𝐀(𝒯) ⋮ Congruence-distributive varieties of algebras ⋮ Some Universal Sets of Terms ⋮ Structural diversity in the lattice of equational theories ⋮ Unnamed Item ⋮ Discriminator varieties and symbolic computation ⋮ Varieties of Commutative Semigroups ⋮ A field guide to equational logic ⋮ Adas and the equational theory of if-then-else ⋮ Division by zero in non-involutive meadows ⋮ Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness ⋮ Unnamed Item ⋮ On normal and regular identities ⋮ On equational theories, unification, and (un)decidability ⋮ Covering in the lattice of equational theories and some properties of term finite theories ⋮ A new product of algebras and a type reduction theorem ⋮ On the Relationship Between AP, RS and CEP ⋮ Condensed detachment as a rule of inference ⋮ Idempotent variations on the theme of exclusive disjunction
This page was built for publication:
