Projective algebras and primitive subquasivarieties in varieties with factor congruences

DOI10.1007/s00012-018-0555-3zbMath1425.08004arXiv1707.02123OpenAlexW2963123521WikidataQ129354208 ScholiaQ129354208MaRDI QIDQ1991598

Alex Citkin

Publication date: 30 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

discriminator varietyHeyting algebrafactor congruencedouble-Heyting algebramonadic Heyting algebraprimitive quasivarietyHeyting algebra with involutionHeyting algebra with pseudocomplement

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subalgebras, congruence relations (08A30) Logic with extra quantifiers and operators (03C80) Quasivarieties (08C15) Injectives, projectives (08B30) Abstract algebraic logic (03G27)

Cites Work

• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Heyting algebras with dual pseudocomplementation
• Discriminator varieties and symbolic computation
• On the structure of varieties with equationally definable principal congruences. III
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Varieties of monadic Heyting algebras. I
• Discriminator varieties of double-Heyting algebras
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Unification through projectivity
• Injective and Projective Heyting Algebras
• Free algebras in discriminator varieties
• Demi-semi-primal algebras and Mal'cev-type conditions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Projective algebras and primitive subquasivarieties in varieties with factor congruences