scientific article; zbMATH DE number 966894

zbMATH Open0865.08002MaRDI QIDQ5690146FDOQ5690146

Andrzej Wroński

Publication date: 30 June 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

unificationdiscriminator varietyvarieties of Heyting algebrasmost general unifierstransparent unifiersunitary variety

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Applications of universal algebra in computer science (08A70) Varieties (08B99)

Cited In (8)

• On rules
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Admissibility and unification in the modal logics related to S4.2
• Almost structural completeness; an algebraic approach
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Unification types and union splittings in intermediate logics
• About the unification types of modal logics
• Projectivity and unification in substructural logics of generalized rotations

   Recommendations

• Unification and projectivity in Fregean varieties 👍 👎
• Essential unifiers 👍 👎
• Unification through projectivity 👍 👎
• Unification in intuitionistic logic 👍 👎

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 Q5690146)