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

Abstract algebraic logic

Mathematics / Geometry / Algebraic Geometry / Abstract Algebraic Curves

Abstract algebraic logic Gentzen formal system Propositional connective Equational logic Boolean algebra Many-valued logic Universal algebra Modus ponens Algebraic systems, variety of Algebraic logic Elementary equivalence Lindenbaum method

citescited by

Canonical sources

Abstract algebraic logicencyclopedia_of_mathematics

Classification

Abstract Algebraic CurvesMathematics / Geometry / Algebraic Geometry / Abstract Algebraic Curves

References

Gentzen formal system Propositional connective Equational logic Boolean algebra Many-valued logic Universal algebra Modus ponens Algebraic systems, variety of

Referenced by

Algebraic logic Elementary equivalence Lindenbaum method

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.