Preferred term
Symbolic logic
Type
- Topic
Broader concept
Narrower concepts
- Automatons
- Automorphism
- Axioms
- Boolean algebra
- Chomsky hierarchy
- Combinatorial logic
- Completeness problems
- Complex systems
- Computability theory
- Concurrency (Symbolic logic)
- Constructive mathematics
- Decidability
- Denotational semantics
- First order logic
- Formal methods
- Formal models
- Formal specification
- Fuzzy logic
- Horn logic
- Infinity
- Knuth-Bendix algorithm
- L-systems
- Linear logic
- Logic algebra
- Markov algorithms
- Metamathematics
- Model theory
- Multi value logic
- Nonmonotonic logics
- Operational semantics
- Predicate logic
- Proof theory
- Rewriting
- Second order logic
- Set theory
- Software semantics
- Specification languages
- Specifications
- Type theory (Logic)
Entry terms
- Formal logic
- Mathematical logic
Identifier
- HUME00719
In other languages
Norwegian Bokmål
- Symbolsk logikk
- Formal logikk
- Formallogikk
- Logikk-kalkyle
- Logistikk (Logikk)
- Matematisk logikk
Norwegian Nynorsk
- Symbolsk logikk
- Formallogikk
URI
http://data.ub.uio.no/humord/c00719