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

Natural logical deduction

Mathematics / Recreational Mathematics / Mathematical Records

Natural logical deduction Gentzen formal system Subformulation property Logical calculus Sequent (in logic)Propositional calculus Derivation, logical Derivation, logical Categorical logic Predicate calculus

citescited by

Canonical sources

Natural logical deductionencyclopedia_of_mathematics

Classification

Mathematical RecordsMathematics / Recreational Mathematics / Mathematical Records

References

Gentzen formal system Subformulation property Logical calculus Sequent (in logic)Propositional calculus Derivation, logical

Referenced by

Derivation, logical Categorical logic Predicate calculus

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.