Logic, Symbolic and mathematical : Terminology Services : OCLC Research

Alternative Terms

Algebra of logic

| Logic, Universal

| Mathematical logic

| Symbolic and mathematical logic

| Symbolic logic

Broader Concepts

Mathematics

Narrower Concepts

Admissible sets

| Algebraic logic

| Axiomatic set theory

| Categories (Mathematics)

| Combinatory logic

| Completeness theorem

| Computer logic

| Computer programs — Correctness

| Constructive mathematics

| Curry-Howard isomorphism

| Decidability (Mathematical logic)

| Definability theory (Mathematical logic)

| First-order logic

| Fuzzy logic

| Gödel numbers

| Gödel's theorem

| Hoare logic

| Independence (Mathematics)

| Infinitary languages

| Lambda calculus

| Linear orderings

| Logic machines

| Machine theory

| Matrix logic

| Model theory

| Nonclassical mathematical logic

| Pragmatics

| Predicate calculus

| Proof theory

| Propositional calculus

| Quasivarieties (Universal algebra)

| Recursion theory

| Recursive functions

| Reverse mathematics

| Science — Methodology

| Semantics (Philosophy)

| Switching theory

| Threshold logic

| Truth-functions

| Type theory

| VL1 system

| WFF 'N PROOF (Game)

Related Concepts

Algebra, Abstract

| Metamathematics

| Set theory

| Syllogism

Terminology Web Services

Experimental Services for Controlled Vocabularies

a project of OCLC Research

Logic, Symbolic and mathematical

Alternative Terms

Broader Concepts

Narrower Concepts

Related Concepts

Links