Email:
Password:
Forgot password?
ScienceWISE
Ontology
Bookmarks
News
Login
Register
Add new concept
Edit
|
Add definition
|
Papers containing this concept
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)