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