Injective and Projective Heyting Algebras
From MaRDI portal
Publication:5597549
DOI10.2307/1995388zbMath0199.32203OpenAlexW4231369529MaRDI QIDQ5597549
Publication date: 1970
Full work available at URL: https://doi.org/10.2307/1995388
Related Items
Nodal filters in hoop algebras, A note on injectivity and Boolean products, Algebraic aspects of relatively pseudocomplemented posets, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras), Not every splitting Heyting or interior algebra is finitely presentable, Nodal filters in Residuated Lattices, Compatible relations on Heyting chains, Les treillis pseudocomplémentés finis. (The finite pseudocomplemented lattices), Finite frames fail: how infinity works its way into the semantics of admissibility, Projective algebras and primitive subquasivarieties in varieties with factor congruences, Unnamed Item, Splitting algebras and a weak notion of projectivity, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Equational axioms for classes of Heyting algebras, Lax orthogonal factorisations in ordered structures, Hereditarily structurally complete superintuitionistic deductive systems, Unification and projectivity in De Morgan and Kleene algebras., Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras, On the uniqueness of cellular injectives, Projectivity in (bounded) commutative integral residuated lattices
Cites Work
