Unification and projectivity in Fregean varieties

DOI10.1093/JIGPAL/JZR026zbMATH Open1262.08003arXiv1012.0937OpenAlexW2963840417MaRDI QIDQ2903751FDOQ2903751

Katarzyna Słomczyńska

Publication date: 1 August 2012

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity. In this paper we study this problem for Fregean (1-regular and orderable) varieties that arise from the algebraization of fragments of intuitionistic or intermediate logics. We investigate properties of Fregean varieties, guaranteeing either for a given unifiable term or for all unifiable terms, that projective unifiers exist. We indicate the identities which fully characterize congruence permutable Fregean varieties having projective unifiers. In particular, we show that for such a variety there exists the largest subvariety that have projective unifiers.

Full work available at URL: https://arxiv.org/abs/1012.0937

zbMATH Keywords

intuitionistic logicprojectivityunificationequivalential algebrasFregean varietiescongruence-permutable varieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Applications of universal algebra in computer science (08A70)

Cited In (6)

• Algebraic semantics for the ‐fragment of and its properties
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Almost structural completeness; an algebraic approach
• Projectivity and unification in substructural logics of generalized rotations
• Equivalential Algebras with Conjunction on Dense Elements
• Algebraic semantics for the (↔, ¬¬)-fragment of IPC

This page was built for publication: Unification and projectivity in Fregean varieties

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