Algebraic and logical aspects of unification

DOI10.1007/3-540-55124-7_6MaRDI QIDQ6169562zbMATH OpenOpenAlexFDO

Authors Alexander Bockmayr

Publication date 14 August 2023

Published in Word Equations and Related Topics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55124-7_6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4071154
• Unification in intuitionistic logic
• On the logic of unification
• An algebraic approach to unification under associativity and commutativity
• scientific article; zbMATH DE number 3930337
• Amalgamation in universal algebraic logic
• scientific article; zbMATH DE number 4180819
• UNIFICATION IN INTERMEDIATE LOGICS
• Model-theoretic aspects of unification

Cites work

• A non-Abelian variety of groups has an undecidable elementary theory
• A note on a canonical theory with undecidable unification and matching problem
• Concatenation as a basis for arithmetic
• DECIDABILITY OF THE POSITIVE THEORY OF A FREE COUNTABLY GENERATED SEMIGROUP
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• Diophantine theories of free inverse semigroups
• Elementary properties of Abelian groups
• EQUATIONS IN A FREE GROUP
• Equations in free metabelian groups
• scientific article; zbMATH DE number 3847367 (Why is no real title available?)
• scientific article; zbMATH DE number 3924767 (Why is no real title available?)
• scientific article; zbMATH DE number 4097637 (Why is no real title available?)
• On equational theories, unification, and (un)decidability
• On the elementary theory of free inverse semigroups
• Positive formulas in free semigroups
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• THE SOLVABILITY PROBLEM FOR EQUATIONS IN ONE UNKNOWN IN NILPOTENT GROUPS
• The undecidability of the unification and matching problem for canonical theories
• Undecidable theories
• Unification theory

Cited in

(14)

• Instantiation theory. On the foundations of automated deduction
• Unification problem in equational theories
• On the logic of unification
• Universal algebraic logic. Dedicated to the unity of science
• Unification theories: examples and applications
• Syntactic unification as a geometric operation in free modules over certain rings
• First-order unification using variable-free relational algebra
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• scientific article; zbMATH DE number 3936507 (Why is no real title available?)
• scientific article; zbMATH DE number 4053010 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• Unification and Logarithmic Space
• Model-theoretic aspects of unification

This page was built for publication: Algebraic and logical aspects of unification

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