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

Intermediate logic

Mathematics / Topology / Point-Set Topology / Bounded from Below

Intermediate logic Substitution rule Realizability Partially ordered set Modus ponens Distributive lattice Algebraic operation Intuitionistic propositional calculus Binary operation Mathematical logic Modal logic Propositional calculus(2)Abstract algebraic logic

citescited by

Canonical sources

Intermediate logicencyclopedia_of_mathematics

Classification

Bounded from BelowMathematics / Topology / Point-Set Topology / Bounded from Below

References

Substitution rule Realizability Partially ordered set Modus ponens Distributive lattice Algebraic operation Intuitionistic propositional calculus Binary operation

Referenced by

Mathematical logic Modal logic Propositional calculus(2)Abstract algebraic logic

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.