scientific article; zbMATH DE number 517006

MaRDI QIDQ4282529zbMATH OpenFDO

Authors Manfred Schmidt-Schauß

Publication date 25 August 1994

zbMATH Keywords

decidabilitydecision algorithm for associativityequational theoryunification

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3921959
• Unification problems with one-sided distributivity
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• Uninorms and distributivity
• Distributivity between uninorms
• On the distributivity property for uninorms
• The distributivity equation for uninorms revisited
• DISTRIBUTIVE IDEMPOTENT UNINORMS
• Unification modulo ACUI plus distributivity axioms
• Unimodularity unified

Cited in

(6)

• Unification problems with one-sided distributivity
• A decision algorithm for distributive unification
• New algorithms for unification modulo one-sided distributivity and its variants
• scientific article; zbMATH DE number 3921959 (Why is no real title available?)
• An algorithm for distributive unification
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit

This page was built for publication:

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