OurBigBook Wikipedia Bot
Documentation
Formal systems
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
toc
wiki
split
articles:
92
Table of contents
92
1. Rules of inference
link
split
Formal systems
36
1.1. Absorption (logic)
link
split
Rules of inference
1.2. Admissible rule
link
split
Rules of inference
1.3. Biconditional elimination
link
split
Rules of inference
1.4. Biconditional introduction
link
split
Rules of inference
1.5. Commutativity of conjunction
link
split
Rules of inference
1.6. Conjunction elimination
link
split
Rules of inference
1.7. Conjunction introduction
link
split
Rules of inference
1.8. Constructive dilemma
link
split
Rules of inference
1.9. Contraposition (traditional logic)
link
split
Rules of inference
1.10. Cut rule
link
split
Rules of inference
1.11. Destructive dilemma
link
split
Rules of inference
1.12. Disjunction elimination
link
split
Rules of inference
1.13. Disjunction introduction
link
split
Rules of inference
1.14. Disjunctive syllogism
link
split
Rules of inference
1.15. Double negation
link
split
Rules of inference
1.16. Existential generalization
link
split
Rules of inference
1.17. Existential instantiation
link
split
Rules of inference
1.18. Exportation (logic)
link
split
Rules of inference
1.19. Hypothetical syllogism
link
split
Rules of inference
1.20. List of rules of inference
link
split
Rules of inference
1.21. List of valid argument forms
link
split
Rules of inference
1.22. Material implication (rule of inference)
link
split
Rules of inference
1.23. Modus non excipiens
link
split
Rules of inference
1.24. Modus ponendo tollens
link
split
Rules of inference
1.25. Modus ponens
link
split
Rules of inference
1.26. Modus tollens
link
split
Rules of inference
1.27. Negation as failure
link
split
Rules of inference
1.28. Negation introduction
link
split
Rules of inference
1.29. Resolution (logic)
link
split
Rules of inference
1.30. Rule of replacement
link
split
Rules of inference
1.31. SLD resolution
link
split
Rules of inference
1.32. Structural rule
link
split
Rules of inference
1.33. Tautology (rule of inference)
link
split
Rules of inference
1.34. Transposition (logic)
link
split
Rules of inference
1.35. Universal generalization
link
split
Rules of inference
1.36. Universal instantiation
link
split
Rules of inference
2. Systems of formal logic
link
split
Formal systems
21
2.1. Substructural logic
link
split
Systems of formal logic
2.2. Alternative semantics
link
split
Systems of formal logic
2.3. Attributional calculus
link
split
Systems of formal logic
2.4. Aṣṭādhyāyī
link
split
Systems of formal logic
2.5. Dependence logic
link
split
Systems of formal logic
2.6. Discourse representation theory
link
split
Systems of formal logic
2.7. Dynamic semantics
link
split
Systems of formal logic
2.8. Epsilon calculus
link
split
Systems of formal logic
2.9. Formal ethics
link
split
Systems of formal logic
2.10. Frege's propositional calculus
link
split
Systems of formal logic
2.11. Higher-order logic
link
split
Systems of formal logic
2.12. Implicational propositional calculus
link
split
Systems of formal logic
2.13. Independence-friendly logic
link
split
Systems of formal logic
2.14. Infinitary logic
link
split
Systems of formal logic
2.15. Intermediate logic
link
split
Systems of formal logic
2.16. Logics for computability
link
split
Systems of formal logic
2.17. Many-sorted logic
link
split
Systems of formal logic
2.18. Paraconsistent logic
link
split
Systems of formal logic
2.19. Second-order logic
link
split
Systems of formal logic
2.20. Zeroth-order logic
link
split
Systems of formal logic
2.21. Ω-logic
link
split
Systems of formal logic
3. Systems of probability distributions
link
split
Formal systems
6
3.1. Burr distribution
link
split
Systems of probability distributions
3.2. Metalog distribution
link
split
Systems of probability distributions
3.3. Mixture distribution
link
split
Systems of probability distributions
3.4. Pearson distribution
link
split
Systems of probability distributions
3.5. Quantile-parameterized distribution
link
split
Systems of probability distributions
3.6. Tweedie distribution
link
split
Systems of probability distributions
4. Systems of set theory
link
split
Formal systems
18
4.1. Ackermann set theory
link
split
Systems of set theory
4.2. Double extension set theory
link
split
Systems of set theory
4.3. Fuzzy set
link
split
Systems of set theory
4.4. General set theory
link
split
Systems of set theory
4.5. Internal set theory
link
split
Systems of set theory
4.6. Kripke–Platek set theory
link
split
Systems of set theory
4.7. Kripke–Platek set theory with urelements
link
split
Systems of set theory
4.8. List of alternative set theories
link
split
Systems of set theory
4.9. Morse–Kelley set theory
link
split
Systems of set theory
4.10. Naive set theory
link
split
Systems of set theory
4.11. New Foundations
link
split
Systems of set theory
4.12. Pocket set theory
link
split
Systems of set theory
4.13. Positive set theory
link
split
Systems of set theory
4.14. S (set theory)
link
split
Systems of set theory
4.15. Semiset
link
split
Systems of set theory
4.16. Tarski–Grothendieck set theory
link
split
Systems of set theory
4.17. Vague set
link
split
Systems of set theory
4.18. Zermelo set theory
link
split
Systems of set theory
5. Axiom schema
link
split
Formal systems
6. Axiomatic system
link
split
Formal systems
7. First principle
link
split
Formal systems
8. List of formal systems
link
split
Formal systems
9. Physical symbol system
link
split
Formal systems
10. Rule of inference
link
split
Formal systems
11. Term graph
link
split
Formal systems
1. Rules of inference
split
articles:
36
Formal systems
toc
wiki
1.1. Absorption (logic)
split
Rules of inference
toc
wiki
1.2. Admissible rule
split
Rules of inference
toc
wiki
1.3. Biconditional elimination
split
Rules of inference
toc
wiki
1.4. Biconditional introduction
split
Rules of inference
toc
wiki
1.5. Commutativity of conjunction
split
Rules of inference
toc
wiki
1.6. Conjunction elimination
split
Rules of inference
toc
wiki
1.7. Conjunction introduction
split
Rules of inference
toc
wiki
1.8. Constructive dilemma
split
Rules of inference
toc
wiki
1.9. Contraposition (traditional logic)
split
Rules of inference
toc
wiki
1.10. Cut rule
split
Rules of inference
toc
wiki
1.11. Destructive dilemma
split
Rules of inference
toc
wiki
1.12. Disjunction elimination
split
Rules of inference
toc
wiki
1.13. Disjunction introduction
split
Rules of inference
toc
wiki
1.14. Disjunctive syllogism
split
Rules of inference
toc
wiki
1.15. Double negation
split
Rules of inference
toc
wiki
1.16. Existential generalization
split
Rules of inference
toc
wiki
1.17. Existential instantiation
split
Rules of inference
toc
wiki
1.18. Exportation (logic)
split
Rules of inference
toc
wiki
1.19. Hypothetical syllogism
split
Rules of inference
toc
wiki
1.20. List of rules of inference
split
Rules of inference
toc
wiki
1.21. List of valid argument forms
split
Rules of inference
toc
wiki
1.22. Material implication (rule of inference)
split
Rules of inference
toc
wiki
1.23. Modus non excipiens
split
Rules of inference
toc
wiki
1.24. Modus ponendo tollens
split
Rules of inference
toc
wiki
1.25. Modus ponens
split
Rules of inference
toc
wiki
1.26. Modus tollens
split
Rules of inference
toc
wiki
1.27. Negation as failure
split
Rules of inference
toc
wiki
1.28. Negation introduction
split
Rules of inference
toc
wiki
1.29. Resolution (logic)
split
Rules of inference
toc
wiki
1.30. Rule of replacement
split
Rules of inference
toc
wiki
1.31. SLD resolution
split
Rules of inference
toc
wiki
1.32. Structural rule
split
Rules of inference
toc
wiki
1.33. Tautology (rule of inference)
split
Rules of inference
toc
wiki
1.34. Transposition (logic)
split
Rules of inference
toc
wiki
1.35. Universal generalization
split
Rules of inference
toc
wiki
1.36. Universal instantiation
split
Rules of inference
toc
wiki
2. Systems of formal logic
split
articles:
21
Formal systems
toc
wiki
2.1. Substructural logic
split
Systems of formal logic
toc
wiki
2.2. Alternative semantics
split
Systems of formal logic
toc
wiki
2.3. Attributional calculus
split
Systems of formal logic
toc
wiki
2.4. Aṣṭādhyāyī
split
Systems of formal logic
toc
wiki
2.5. Dependence logic
split
Systems of formal logic
toc
wiki
2.6. Discourse representation theory
split
Systems of formal logic
toc
wiki
2.7. Dynamic semantics
split
Systems of formal logic
toc
wiki
2.8. Epsilon calculus
split
Systems of formal logic
toc
wiki
2.9. Formal ethics
split
Systems of formal logic
toc
wiki
2.10. Frege's propositional calculus
split
Systems of formal logic
toc
wiki
2.11. Higher-order logic
split
Systems of formal logic
toc
wiki
2.12. Implicational propositional calculus
split
Systems of formal logic
toc
wiki
2.13. Independence-friendly logic
split
Systems of formal logic
toc
wiki
2.14. Infinitary logic
split
Systems of formal logic
toc
wiki
2.15. Intermediate logic
split
Systems of formal logic
toc
wiki
2.16. Logics for computability
split
Systems of formal logic
toc
wiki
2.17. Many-sorted logic
split
Systems of formal logic
toc
wiki
2.18. Paraconsistent logic
split
Systems of formal logic
toc
wiki
2.19. Second-order logic
split
Systems of formal logic
toc
wiki
2.20. Zeroth-order logic
split
Systems of formal logic
toc
wiki
2.21. Ω-logic
split
Systems of formal logic
toc
wiki
3. Systems of probability distributions
split
articles:
6
Formal systems
toc
wiki
3.1. Burr distribution
split
Systems of probability distributions
toc
wiki
3.2. Metalog distribution
split
Systems of probability distributions
toc
wiki
3.3. Mixture distribution
split
Systems of probability distributions
toc
wiki
3.4. Pearson distribution
split
Systems of probability distributions
toc
wiki
3.5. Quantile-parameterized distribution
split
Systems of probability distributions
toc
wiki
3.6. Tweedie distribution
split
Systems of probability distributions
toc
wiki
4. Systems of set theory
split
articles:
18
Formal systems
toc
wiki
4.1. Ackermann set theory
split
Systems of set theory
toc
wiki
4.2. Double extension set theory
split
Systems of set theory
toc
wiki
4.3. Fuzzy set
split
Systems of set theory
toc
wiki
4.4. General set theory
split
Systems of set theory
toc
wiki
4.5. Internal set theory
split
Systems of set theory
toc
wiki
4.6. Kripke–Platek set theory
split
Systems of set theory
toc
wiki
4.7. Kripke–Platek set theory with urelements
split
Systems of set theory
toc
wiki
4.8. List of alternative set theories
split
Systems of set theory
toc
wiki
4.9. Morse–Kelley set theory
split
Systems of set theory
toc
wiki
4.10. Naive set theory
split
Systems of set theory
toc
wiki
4.11. New Foundations
split
Systems of set theory
toc
wiki
4.12. Pocket set theory
split
Systems of set theory
toc
wiki
4.13. Positive set theory
split
Systems of set theory
toc
wiki
4.14. S (set theory)
split
Systems of set theory
toc
wiki
4.15. Semiset
split
Systems of set theory
toc
wiki
4.16. Tarski–Grothendieck set theory
split
Systems of set theory
toc
wiki
4.17. Vague set
split
Systems of set theory
toc
wiki
4.18. Zermelo set theory
split
Systems of set theory
toc
wiki
5. Axiom schema
split
Formal systems
toc
wiki
6. Axiomatic system
split
Formal systems
toc
wiki
7. First principle
split
Formal systems
toc
wiki
8. List of formal systems
split
Formal systems
toc
wiki
9. Physical symbol system
split
Formal systems
toc
wiki
10. Rule of inference
split
Formal systems
toc
wiki
11. Term graph
split
Formal systems
toc
wiki
Ancestors
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot