Logic, Symbolic and mathematical
This is a sourced subject-directory page. Its presence does not mean a factual answer has been researched, or that the subject is a proven knowledge gap.
Names and connections
Algebra of logic; Logic, Universal; Mathematical logic; Symbolic and mathematical logic; Symbolic logic
- Broader: Mathematics
- Narrower: Admissible sets
- Narrower: Algebraic logic
- Narrower: Axiomatic set theory
- Narrower: Categories (Mathematics)
- Narrower: Combinatory logic
- Narrower: Completeness theorem
- Narrower: Computer logic
- Narrower: Computer programs--Correctness
- Narrower: Constructive mathematics
- Narrower: Curry-Howard isomorphism
- Narrower: Decidability (Mathematical logic)
- Narrower: Definability theory (Mathematical logic)
- Narrower: First-order logic
- Narrower: Fuzzy logic
- Narrower: Gödel numbers
- Narrower: Gödel's theorem
- Narrower: Hoare logic
- Narrower: Independence (Mathematics)
- Narrower: Infinitary languages
- Narrower: Lambda calculus
- Narrower: Linear orderings
- Narrower: Logic machines
- Narrower: Machine theory
- Narrower: Matrix logic
- Narrower: Model theory
- Narrower: Nonclassical mathematical logic
- Narrower: Pragmatics
- Narrower: Predicate calculus
- Narrower: Proof theory
- Narrower: Propositional calculus
- Narrower: Quasivarieties (Universal algebra)
- Narrower: Recursion theory
- Narrower: Recursive functions
- Narrower: Reverse mathematics
- Narrower: Science--Methodology
- Narrower: Semantics (Philosophy)
- Narrower: Switching theory
- Narrower: Threshold logic
- Narrower: Truth-functions
- Narrower: Type theory
Up to 40 narrower headings are shown. Full Library of Congress authority record
Local answer status
No owner-reviewed answer has been published for this exact subject page. This is a gap in this collection; it does not establish that the answer is unavailable elsewhere.
Numeric address and provenance
Morton address: 9511822316473025028 · morton4x16-v1
Coordinates: (0, 20, 18625, 35840). The address interleaves categorical identifier bits. Nearby addresses are not guaranteed to describe semantically similar subjects.
Structured subject record · Markdown · Source snapshots and licenses
What could you not find?
Submit the specific question you still need answered. This creates a private research request for owner review; it does not declare a scientific discovery or automatically generate an answer.