scientific article; zbMATH DE number 966894

MaRDI QIDQ5690146zbMATH OpenFDO

Authors Andrzej Wroński

Publication date 30 June 1997

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)

Recommendations

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

Cited in

(9)

• 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
• Remarks on projective unifiers

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)