An equational logic sampler

DOI10.1007/3-540-51081-8_112MaRDI QIDQ5055725zbMATH OpenOpenAlexFDO

Authors George F. McNulty

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51081-8_112

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Grammars and rewriting systems (68Q42)

Cites work

• A Characterization of Modularity for Congruence Lattices of Algebras*
• A new product of algebras and a type reduction theorem
• Algebras Whose Congruence Lattices are Distributive.
• Base-undecidable properties of universal varieties
• Bases for equational theories of semi-groups
• Basic questions for general algebras
• Decision problems concerning properties of finite sets of equations
• Elementary properties of Abelian groups
• Embedding the dual of ^ in the lattice of equational classes of semigroups.
• Embedding the Dual of Π m in the Lattice of Equational Classes of Commutative Semigroups
• Equational Bases for Lattice Theories.
• Finite complete rewriting systems and the complexity of word problem
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Free Modular Lattices
• History and basic features of the critical-pair/completion procedure
• scientific article; zbMATH DE number 3832016 (Why is no real title available?)
• scientific article; zbMATH DE number 3645165 (Why is no real title available?)
• scientific article; zbMATH DE number 3122416 (Why is no real title available?)
• scientific article; zbMATH DE number 3146799 (Why is no real title available?)
• scientific article; zbMATH DE number 3809626 (Why is no real title available?)
• scientific article; zbMATH DE number 3943732 (Why is no real title available?)
• scientific article; zbMATH DE number 3961694 (Why is no real title available?)
• scientific article; zbMATH DE number 3972929 (Why is no real title available?)
• scientific article; zbMATH DE number 3977073 (Why is no real title available?)
• scientific article; zbMATH DE number 4023359 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 4108844 (Why is no real title available?)
• scientific article; zbMATH DE number 3654207 (Why is no real title available?)
• scientific article; zbMATH DE number 3726426 (Why is no real title available?)
• scientific article; zbMATH DE number 3749082 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 42760 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3549189 (Why is no real title available?)
• scientific article; zbMATH DE number 3609888 (Why is no real title available?)
• scientific article; zbMATH DE number 3996616 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3248007 (Why is no real title available?)
• scientific article; zbMATH DE number 3287732 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3300552 (Why is no real title available?)
• scientific article; zbMATH DE number 3332449 (Why is no real title available?)
• scientific article; zbMATH DE number 3065841 (Why is no real title available?)
• scientific article; zbMATH DE number 3086775 (Why is no real title available?)
• Identical relations in finite groups
• Identical relations on varieties of quasigroups
• Identities satisfied by a finite ring
• INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
• Intervals in the lattice of varieties
• Laws in finite loops
• Non-recursiveness of the set of finite sets of equations whose theories are one based
• Nonfinitely based three-element idempotent groupoids
• On Comparison of Finite Algebras
• On homomorphisms onto finite groups
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• On the word problem for the modular lattice with four free generators
• Primitive classes of algebras with unary and nullary operations
• PROBLEMS OF BURNSIDE TYPE AND THE FINITE BASIS PROPERTY IN VARIETIES OF SEMIGROUPS
• Recursive unsolvability of a problem of Thue
• Recursive unsolvability of group theoretic problems
• Residually Small Varieties with Modular Congruence Lattices
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Structural diversity in the lattice of equational theories
• Termination of rewriting
• The decision problem for equational bases of algebras
• The decision problem for some classes of sentences without quantifiers
• The Lattice of Equational Classes of Algebras with One Unary Operation
• The lattice of equational theories. Part II: The lattice of full sets of terms
• The Laws of Finite Pointed Groups
• The Logic of Equality
• The structure of finite algebras
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• The undecidability of self-embedding for term rewriting systems
• Thue systems as rewriting systems
• Undecidable questions related to Church-Rosser Thue systems
• Unsolvable problems for equational theories
• Word problems

Cited in

(3)

• Discriminator varieties and symbolic computation
• A field guide to equational logic
• Which data types have -complete initial algebra specifications?

This page was built for publication: An equational logic sampler

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