Injective and Projective Heyting Algebras
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3378883 (Why is no real title available?)
- scientific article; zbMATH DE number 3185026 (Why is no real title available?)
- Logic as Mathematical Science
- On closed elements in closure algebras
- On formulas of one variable in intuitionistic propositional calculus
Cited in
(29)- Les treillis pseudocomplémentés finis. (The finite pseudocomplemented lattices)
- Splitting algebras and a weak notion of projectivity
- Equational axioms for classes of Heyting algebras
- A note on injectivity and Boolean products
- Nodal filters in hoop algebras
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Hereditarily structurally complete superintuitionistic deductive systems
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Projectivity in (bounded) commutative integral residuated lattices
- Algebraic aspects of relatively pseudocomplemented posets
- Unification and projectivity in De Morgan and Kleene algebras.
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Nodal filters in residuated lattices
- scientific article; zbMATH DE number 4181410 (Why is no real title available?)
- scientific article; zbMATH DE number 4191972 (Why is no real title available?)
- Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras)
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- scientific article; zbMATH DE number 1164030 (Why is no real title available?)
- Not every splitting Heyting or interior algebra is finitely presentable
- Extension by conservation. Sikorski's theorem
- INJECTIVITY, PROJECTIVITY AND SUPERCUSPIDAL REPRESENTATIONS
- Hereditarily structurally complete positive logics
- Lax orthogonal factorisations in ordered structures
- Finite frames fail: how infinity works its way into the semantics of admissibility
- On the uniqueness of cellular injectives
- Compatible relations on Heyting chains
- The fork and its role in unification of closure algebras
- Unification via projectivity in varieties of hoops
- Injective and projective T-Boolean algebras
This page was built for publication: Injective and Projective Heyting Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5597549)
