Unification in primal algebras, their powers and their varieties

DOI10.1145/96559.96569MaRDI QIDQ3495674zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Tobias Nipkow

Publication date 1990

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/96559.96569

zbMATH Keywords

Boolean algebraBoolean ringsequational theoriesmany-valued logicsmatrix ringsnon-numerical algorithmsPost algebrasprimal algebrasunification problem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logical aspects of Boolean algebras (03G05) Parallel algorithms in computer science (68W10) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4053010
• scientific article; zbMATH DE number 4089519
• scientific article; zbMATH DE number 1324441
• Unification through projectivity
• scientific article; zbMATH DE number 3871321

Cited in

(14)

• Unification in Boolean rings
• Discriminator varieties and symbolic computation
• Category equivalence preserves unification type
• Model theoretic properties in the variety generated by a primal algebra
• Unification in commutative semigroups
• Introduction to ``Milestones in interactive theorem proving
• Computers and universal algebra: Some directions
• The unification type of the Pythagorean equation in varieties of nilpotent rings
• Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
• scientific article; zbMATH DE number 4053010 (Why is no real title available?)
• scientific article; zbMATH DE number 4089519 (Why is no real title available?)
• Direct product of -algebras and unification: an application to residuated lattices
• Unification, finite duality and projectivity in varieties of Heyting algebras
• An assertion concerning functionally complete algebras and NP-completeness

This page was built for publication: Unification in primal algebras, their powers and their varieties

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