Category:Mathematical logic

From Biocrawler, the free encyclopedia.

Mathematical logic is considered by many to be synonmymous with symbolic or formal logic. However, it is also be described as the branch of formal logic that investigates the logical foundations of mathematics. That definition is used here.bg:КатегориÑ�:МатематичеÑ�ка логика fr:Catégorie:Logique mathématique is:Flokkur:St�r�fr��ileg r�kfr��i zh:Category:數理邏輯

Subcategories

There are 5 subcategories to this category.

B

• Boolean algebra

C

• Categorical logic

M

• Model theory

P

• Proof theory

S

• Set theory

Articles in category "Mathematical logic"

There are 126 articles in this category.

* Mathematical logic List of mathematical logic topics 2 2-satisfiability A Addition (logic) Algebraic normal form Analytical hierarchy Atomic sentence Axiom of projective determinacy Axiom schema Axiomatic set theory Axiomatic system B B,C,K,W system BHK interpretation Boolean ring Boolean satisfiability problem Bourbaki-Witt theorem C Cantor's back-and-forth method Categorial grammar Categorical logic Classical mathematics Coherent space Combinatory logic Complete induction Computability logic Computable measure theory Conjunction elimination Conjunction introduction Constructive dilemma Contradiction Contraposition Contrapositive Counterexample Craig interpolation Curry's paradox Currying D Deduction theorem Definable Derivative algebra (abstract algebra) Destructive dilemma Diagonal lemma Diagonalization lemma Disjunctive syllogism

D cont. Double negative elimination E Exchange rule Existential quantification F Finitary First-order logic First-order predicate Formal system Foundations of mathematics Foundations problem in mathematics Frege's propositional calculus G Goodstein's theorem Ground expression Gödel number Gödel's completeness theorem Gödel's incompleteness theorem H Herbrand universe Higher-order grammar Higher-order logic Hilbert's program Horn-satisfiability Hypothetical syllogism I Independence-friendly logic Interior algebra Intermediate logics Intuitionistic logic J Johnston diagram K Kripke semantics L Lambda calculus Lambda cube Laver table Lindenbaum-Tarski algebra Linear logic List of computability and complexity topics List of publications in mathematics Logical assertion Logical conditional Logical independence Ludics Löb's theorem M Mathematical induction Mathematical proof Maximal consistent set Metalogic

M cont. Metamathematics Modus tollens Monadic Boolean algebra Monadic logic Multi-adjoint logic programming Multi-valued logic N Negation normal form Non-classical analysis Non-well-founded set theory P Post's theorem Predicate variable Presburger arithmetic Principle of bivalence Principle of compositionality Proof net Propositional calculus R Recursion Recursive definition Recursive function Regular expression Rewriting S SKI combinator calculus Second-order logic Second-order predicate Simplification (logic) Skolem hull Stratification (mathematics) Surreal number System F T T-schema Tarski's indefinability theorem Tautology Three forms of mathematical induction Infinite tree (graph theory) Turing degree Turnstile Type theory U Unification Uniqueness quantification Universe (mathematics) V Vacuous truth

Wikipedia (http://en.wikipedia.org/wiki/Main_Page) Category:Mathematical_logic (http://en.wikipedia.org/wiki/Category:Mathematical_logic) version history (http://en.wikipedia.org/w/index.php?title=Category:Mathematical_logic&action=history) GNU Free Documentation Lizenz (http://en.wikipedia.org/wiki/Wikipedia:Text_of_the_GNU_Free_Documentation_License) CC-by-sa (http://creativecommons.org/licenses/by-sa/2.5/)

---