Category:Mathematical logic

From Wikipedia, the free encyclopedia

Mathematical logic is considered by many to be synonymous with symbolic or formal logic. However, it is also described as the branch of formal logic that investigates the logical foundations of mathematics. That definition is used here.

(previous 200) (next 200)

Subcategories

There are 14 subcategories to this category shown below (more may be shown on subsequent pages).

Pages in category "Mathematical logic"

There are 186 pages in this section of this category.

Mathematical logic
List of mathematical logic topics
Object theory

A

Algebraic normal form
Algorithm
All horses are the same color (paradox)
Ampheck
Arithmetical hierarchy
Arithmetical set
Assignment (mathematical logic)
Association for Symbolic Logic
Atomic formula
Atomic sentence
Automated reasoning
Axiom schema
Axiomatic system

B

B,C,K,W system
BHK interpretation
Bar induction
Boolean algebras canonically defined
Boolean satisfiability problem
Boolean-valued function
Borel hierarchy
Bounded quantifier
Branching quantifier

C

Canonicalization
Cantor's back-and-forth method
Categorial grammar
Categorical logic
Chaff algorithm
Classical mathematics
Coherent space
Combinatory logic
Complete theory
Computability logic
Conditional quantifier
Conditioned disjunction
Conjunction elimination
Consequence operator
Conservativity theorem
Continuous predicate
Contradiction
Contraposition
Counting quantification
Craig interpolation
Craig's theorem
Curry's paradox
Currying
Cyclic negation

D

DPLL algorithm
De Bruijn index
De Bruijn notation
Deduction theorem
Definable set
Derivative algebra (abstract algebra)
Diagonal lemma
Domain of discourse

E

Effectively calculable
Empty domain
Entitative graph
Entscheidungsproblem
Equiconsistency

E cont.

Existential graph
Existential proposition
Existential quantification
Extensionality

F

Finitary
Finitary boolean function
First-order logic
First-order predicate
Fitch-style calculus
Formal calculation
Formal system
Formula (mathematical logic)
Foundations of mathematics
Frege's propositional calculus
Full employment theorem

G

Game semantics
Generalization (logic)
Geometry of interaction
Gödel number
Gödel's completeness theorem
Gödel's incompleteness theorems
Goodstein's theorem
Ground expression
Gödel numbering for sequences

H

Halting problem
Herbrand base
Herbrand theory
Herbrand universe
Higher-order grammar
Higher-order logic
Hilbert's program
Hilbert-style deduction system
Horn-satisfiability
Hypostatic abstraction

I

Implicational propositional calculus
Impredicativity
Independence-friendly logic
Indicator function
Infinitary logic
Inhabited set
Institution (computer science)
Institutional model theory
Interior algebra
Intermediate logic
Internal set
Intuitionistic logic

J

Johnston diagram

K

Kaina Stoicheia
Kinetic logic
König's lemma
Kripke semantics
Kruskal's tree theorem
Kurepa tree

L

Lambda calculus
Lambda cube
Laver table
Laws of Form
Leibniz operator
Lindenbaum's lemma
Lindenbaum–Tarski algebra
Lindström quantifier
List of basic topics in logic
List of computability and complexity topics

L cont.

List of first-order theories
Literal (mathematical logic)
Löb's theorem
Logic of Relatives (1870)
Logic of Relatives (1883)
Logic of relatives
Logical assertion
Logical axiom
Logical graph
Logical machine
Logical matrix
Logics for computability
Ludics

M

MV-algebra
Many-sorted logic
Mathematical induction
Mathematical proof
Matrix (logic)
Maximal consistent set
Metalogic
Metamathematics
Method of analytic tableaux
Minimal negation operator
Modal companion
Model elimination
Monadic predicate calculus
Multigrade operator

N

Natural deduction
Negation normal form
New Foundations
Non-classical analysis
Non-logical symbol
Normal set

O

Of the form
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
One and only one
Open sentence
Operation (mathematics)
Orthocomplemented lattice
Orthomodular lattice

P

Paraconsistent logic
Paradox theorem prover
Paris–Harrington theorem
Peano axioms
Peirce's law
Charles Sanders Peirce bibliography
Post's theorem
Prenex normal form
Presburger arithmetic
Prescisive abstraction
Principia Mathematica
Product term
Proof net
Proof of impossibility
Proof sketch for Gödel's first incompleteness theorem
Propositional calculus
Propositional variable

Q

Quantification

R

Rasiowa-Sikorski lemma
Recursion
Recursion theory

(previous 200) (next 200)

Retrieved from "http://en.wikipedia.org../../../m/a/t/Category%7EMathematical_logic_8052.html"

Categories: Logic | Mathematics

Category:Mathematical logic

From Wikipedia, the free encyclopedia

Subcategories

A

B

C

D

E

I

L

M

P

Pages in category "Mathematical logic"

A

B

C

D

E

E cont.

F

G

H

I

J

K

L

L cont.

M

N

O

P

Q

R

Views

Navigation

interaction

Search

In other languages