ScienceWISE

Mathematical logic

Definitions and resources

ScienceWISE definitions	External resources
	Mathematical logic by Wikipedia

Semantic relations

Incoming relations	Outgoing relations
Digital Logic is a specialization of Mathematical logic

Subcategories and concepts

Subcategories

Concepts

Set theory

Bunched logic Cartesian monoid Characteristic sequence Computability theory Abstract logic Abstract model theory Algebraic definition Algebraic semantics Algebraic sentence Algebraic theory Barwise compactness theorem Beth definability Coherent space Complete theory Conservativity theorem Continuous predicate Contraposition Craig interpolation Curry's paradox Cyclic negation Definable set Diagonal lemma Double negation Double turnstile End extension Entitative graph Entscheidungsproblem Epsilon calculus Equiconsistency Euler calculus Extension by definitions Finitary Finitary relation Formal calculation Formal system Foundations of mathematics Glivenko's theorem Gödel numbering Gödel's β function Gödel's completeness theorem Gödel's incompleteness theorems Ground expression Herbrand interpretation Herbrand structure Hilbert's program Hilbert-Bernays provability conditions Hypostatic abstraction Impredicativity 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 Negational normal form Object language Peirce's law Primitive notion Proof of impossibility 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 Subitizing Superposition calculus Surreal number T-schema Tarski's undefinability theorem Term algebra Turing's proof Turnstile Vacuous truth DeMorgan's Theorem Digital Logic any-order expression all-order conditions Model theory Proof theory Absoluteness Algorithm Biconditional introduction Classical mathematics Cointerpretability Completeness Contradiction Counting Deduction theorem Elementary definition Elementary sentence Elementary theory Enumeration Erasure Existential theory of the reals Infinitesimal Laws of Form Mathematical proof Metalogic Metamath Metamathematics Peano axioms Structural induction Timeline of mathematical logic Truth function Well-formed formula

General information

Categorization	Also known as
Mathematics (under construction)

© 2009-2012 ScienceWISE project | About | FAQ | Contact us | Report Bug | Acknowledgement