Unification and projectivity in Fregean varieties

DOI10.1093/JIGPAL/JZR026MaRDI QIDQ2903751zbMATH OpenOpenAlexFDO

Authors Katarzyna Słomczyńska

Publication date 1 August 2012

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

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)

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.

Recommendations

• Remarks on projective unifiers
• FREGEAN VARIETIES
• Unification in intuitionistic logic
• Unification through projectivity
• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras

Cited in

(10)

• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• Almost structural completeness; an algebraic approach
• Projectivity and unification in substructural logics of generalized rotations
• Equivalential Algebras with Conjunction on Dense Elements
• Unification, finite duality and projectivity in varieties of Heyting algebras
• FREGEAN VARIETIES
• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• Remarks on projective unifiers
• Unification and projectivity in De Morgan and Kleene algebras.

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)