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

Intuitionistic logic

Intuitionistic logic Kripke models Intuitionism Predicate calculus Derivation, logical Church thesis Intuitionistic propositional calculus Constructive selection principle Constructive semantics Intuitionism Constructive logic Mathematical logic Categorical logic Paraconsistent logic Reductio ad absurdum Model (in logic)

citescited by

Canonical sources

Intuitionistic logicencyclopedia_of_mathematics Intuitionistic logicencyclopedia_of_mathematics

Classification

No taxonomy classification is available yet.

References

Kripke models Intuitionism Predicate calculus Derivation, logical Church thesis Intuitionistic propositional calculus Constructive selection principle

Referenced by

Constructive semantics Intuitionism Constructive logic Mathematical logic Categorical logic Paraconsistent logic Reductio ad absurdum Model (in 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.