Projective algebras and primitive subquasivarieties in varieties with factor congruences
DOI10.1007/s00012-018-0555-3zbMath1425.08004arXiv1707.02123OpenAlexW2963123521WikidataQ129354208 ScholiaQ129354208MaRDI QIDQ1991598
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
discriminator varietyHeyting algebrafactor congruencedouble-Heyting algebramonadic Heyting algebraprimitive quasivarietyHeyting algebra with involutionHeyting algebra with pseudocomplement
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