Mathematical logic
ScienceWISE definitions
External resources
Incoming relations
- Information theory is a generalization of Mathematical logic
- Digital Logic is a specialization of Mathematical logic
Outgoing relations
Subcategories
Concepts
- Absoluteness
- Abstract logic
- Abstract model theory
- Algebraic definition
- Algebraic semantics
- Algebraic sentence
- Algebraic theory
- Algorithm
- All-order conditions
- Any-order expression
- Barwise compactness theorem
- Beth definability
- Biconditional introduction
- Bunched logic
- Cartesian monoid
- Characteristic sequence
- Classical mathematics
- Coherent space
- Cointerpretability
- Completeness
- Complete theory
- Computability theory
- Conservativity theorem
- Continuous predicate
- Contradiction
- Contraposition
- Counting
- Craig interpolation
- Curry's paradox
- Cyclic negation
- Deduction theorem
- Definable set
- DeMorgan's Theorem
- Diagonal lemma
- Digital Logic
- Double negation
- Double turnstile
- Elementary definition
- Elementary sentence
- Elementary theory
- End extension
- Entitative graph
- Entscheidungsproblem
- Enumeration
- Epsilon calculus
- Equiconsistency
- Erasure
- Euler calculus
- Existential theory of the reals
- Extension by definitions
- Finitary
- Finitary relation
- Formal calculation
- Formal system
- Foundations of mathematics
- Glivenko's theorem
- Gödel numbering
- Gödel's completeness theorem
- Gödel's incompleteness theorems
- Gödel's β function
- Ground expression
- Herbrand interpretation
- Herbrand structure
- Hilbert-Bernays provability conditions
- Hilbert's program
- Hypostatic abstraction
- Impredicativity
- Inference
- Infinitesimal
- Information field theory
- Institutional model theory
- Interior algebra
- Inverse relation
- Kripke semantics
- Kruskal's tree theorem
- Laver table
- Lindenbaum's lemma
- Lindström's theorem
- Löb's theorem
- Logical assertion
- Logical graph
- Logical machine
- Łoś-Tarski preservation theorem
- Löwenheim number
- Ludics
- Mathematical induction
- Mathematical proof
- Metalogic
- Metamath
- Metamathematics
- Model theory
- Negational normal form
- Object language
- Peano axioms
- Peirce's law
- Primitive notion
- Proof of impossibility
- Proof theory
- Quantum logic
- Rational consequence relation
- Recursive definition
- Relation algebra
- Residuated Boolean algebra
- Residuated lattice
- Reverse mathematics
- Robinson's joint consistency theorem
- Rosser's trick
- Rules of passage
- Semicomputable function
- Static discipline
- Stratification
- Structural induction
- Subitizing
- Superposition calculus
- Surreal number
- Tarski's undefinability theorem
- Term algebra
- Timeline of mathematical logic
- Truth function
- T-schema
- Turing's proof
- Turnstile
- Vacuous truth
- Well-formed formula
Categorization
Mathematics (under construction)Synonyms
| © 2009-2013 ScienceWISE project | About | FAQ | Contact us | Report Bug | Acknowledgement |  |