scientific article; zbMATH DE number 3332449
From MaRDI portal
Publication:5609363
zbMath0209.01402MaRDI QIDQ5609363
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (54)
Structure of quasivariety lattices. IV: Nonstandard quasivarieties ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ Equational logic and categorical semantics for multi-languages ⋮ Single identities for ternary Boolean algebras ⋮ An equational logic sampler ⋮ Algebra of constructions. I. The word problem for partial algebras ⋮ Finite basis problem for semigroups of order five or less: generalization and revisitation. ⋮ Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green ⋮ Unification theory ⋮ Quasiequational bases of Cantor algebras ⋮ The varieties defined by \(P\)-compatible identities of modular ortholattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A survey on varieties generated by small semigroups and a companion website ⋮ Idempotent reducts of Abelian groups ⋮ Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ Structural diversity in the lattice of equational theories ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Unnamed Item ⋮ A normal form for restricted exponential functions ⋮ Mathematical structures defined by identities ⋮ A field guide to equational logic ⋮ Equational theories of unstable involution semigroups ⋮ Bases of identities for semigroups of bounded rank transformations of a set. ⋮ Unnamed Item ⋮ Structure of quasivariety lattices. I: Independent axiomatizability ⋮ Characterizing Mal'cev conditions ⋮ On convex linear forms ⋮ Minimal identities for Boolean groups ⋮ An interpolation theorem for irredundant bases of closure structures ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\) ⋮ Data types, abstract data types and their specification problem ⋮ Covers in lattices of quasivarieties and independent axiomatizability ⋮ \( \omega \)-independent bases for quasivarietes of torsion-free groups ⋮ On normal and regular identities ⋮ Single identities for lattice theory and for weakly associative lattices ⋮ Key notions of Tarski's methodology of deductive systems ⋮ On the structure of the lattice of equational classes \({\mathcal L}(\tau)\) ⋮ Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. ⋮ Algorithmic problems in varieties of semigroups ⋮ THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE ⋮ Models in equational theories of unary algebras ⋮ Equational spectrum of Hilbert varieties ⋮ Equational theory of idempotent algebras ⋮ Nondefinability of projectivity in lattice varieties ⋮ On regular identities ⋮ Single axioms for groups and abelian groups with various operations ⋮ Interpretations of module varieties ⋮ The logic of algebraic rules as a generalization of equational logic ⋮ Quasivarieties of \(\ell\)-groups and groups
This page was built for publication:
