Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Pseudo-Boolean algebra

Mathematics / Algebra / Named Algebras / Boolean Algebras

Pseudo-Boolean algebra Boolean algebra Congruence (in algebra)Distributive lattice Brouwer lattice Filter Intuitionistic propositional calculus Locale Lattice Heyting formal system Truth value Cartesian-closed category Intermediate logic Multiplicative lattice

citescited by

Canonical sources

Pseudo-Boolean algebraencyclopedia_of_mathematics Pseudo-Boolean algebraencyclopedia_of_mathematics

Classification

Boolean AlgebrasMathematics / Algebra / Named Algebras / Boolean Algebras

References

Boolean algebra Congruence (in algebra)Distributive lattice Brouwer lattice Filter Intuitionistic propositional calculus Locale Lattice

Referenced by

Heyting formal system Truth value Cartesian-closed category Intermediate logic Multiplicative lattice

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.