Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304)

From MaRDI portal
Revision as of 07:49, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Unification, finite duality and projectivity in varieties of Heyting algebras
scientific article

    Statements

    Unification, finite duality and projectivity in varieties of Heyting algebras (English)
    0 references
    0 references
    6 August 2004
    0 references
    Addressed mainly to logicians, this article may also be of interest for computer scientists. Unification with respect to an equational theory was algebrized by the author [J. Log. Comput. 7, No. 6, 733--752 (1997; Zbl 0894.08004)] so as to utilize categorical duality theory for the determination of unification types in locally finite varieties of Heyting algebras, which is illustrated in the present paper. Although the unification algorithms that can indeed be extracted from this setting might be inefficient, the constructively found unification types may give a hint at a chance to improve the algorithms.
    0 references
    E-unification
    0 references
    projective algebra
    0 references
    Heyting algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references