Unification and projectivity in Fregean varieties

DOI10.1093/jigpal/jzr026zbMath1262.08003arXiv1012.0937OpenAlexW2963840417MaRDI QIDQ2903751

Katarzyna Słomczyńska

Publication date: 1 August 2012

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

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

zbMATH Keywords

unificationprojectivityintuitionistic logicequivalential algebrasFregean varietiescongruence-permutable varieties

Mathematics Subject Classification ID

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

Related Items

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