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

Constructive propositional calculus

Mathematics / Foundations and Logic / A New Kind of Science / Propositional Calculus

Constructive propositional calculus Constructive selection principle Constructive mathematics Intuitionistic propositional calculus Logical calculus Contradiction, law of Intuitionistic propositional calculus

citescited by

Canonical sources

Constructive propositional calculusencyclopedia_of_mathematics

Classification

Propositional CalculusMathematics / Foundations and Logic / A New Kind of Science / Propositional Calculus

References

Constructive selection principle Constructive mathematics Intuitionistic propositional calculus Logical calculus

Referenced by

Contradiction, law of Intuitionistic propositional 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.