Recursiv algorithms
type: Topic
type: Concept
preferred label: Rekursive algoritmar @nn
preferred label: Rekursive algoritmer @nb
related: Symbolic logic

Computability theory
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Rekursjonsteori @nn

Artificial languages
type: Topic
type: Concept
preferred label: Kunstige språk @nn
related: Symbolic logic

Model theory
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Modellteori @nn

Formal models
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Formelle modellar @nn
preferred label: Formelle modeller @nb

Formal specification
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Formell spesifikasjon @nn

Linear logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Lineær logikk @nn

First order logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Førsteordens logikk @nn

Logic algebra
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Logisk algebra @nn

Markov algorithms
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Markovalgoritmar @nn
preferred label: Markovalgoritmer @nb

Completeness problems
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Kompletthetsproblem @nn
preferred label: Kompletthetsproblemer @nb

Formal methods
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Formelle metodar @nn
preferred label: Formelle metoder @nb

Mathemathics
type: Topic
type: Concept
narrower: Symbolic logic
preferred label: Matematikk @nn

Automatons
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Automater (Informatikk) @nn

Combinatorial logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Kombinatorisk logikk @nn

L-systems
type: Topic
type: Concept
broader: Symbolic logic
preferred label: L-system @nn
preferred label: L-systemer @nb

Complex systems
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Komplekse system @nn
preferred label: Komplekse systemer @nb

Second order logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Høgareordens logikk @nn
preferred label: Høyereordens logikk @nb

Denotational semantics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Denotasjonell semantikk @nn

Chomsky hierarchy
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Chomskyhierarkiet @nn

Multi value logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Fleirverdilogikk @nn
preferred label: Flerverdilogikk @nb

Specifications
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Spesifikasjon @nn
preferred label: Spesifikasjoner @nb

Operational semantics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Operasjonell semantikk @nn

Concurrency (Symbolic logic)
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Samtidigheit (Symbolsk logikk) @nn
preferred label: Samtidighet (Symbolsk logikk) @nb

Symbolic logic
type: Topic
type: Concept
ccmapper candidates: 27
ccmapper state: accepted
created: 1995-02-10T00:00:00
modified: 2026-03-19T16:08:01
alternative label: Formallogikk @nb
alternative label: Formal logic
alternative label: Matematisk logikk @nb
alternative label: Mathematical logic
alternative label: Logistikk (Logikk) @nb
alternative label: Formal logikk @nb
alternative label: Logikk-kalkyle @nb
broader: Mathemathics
broader: Logics
in scheme: Humord
mapping relation: e23
mapping relation: c001644
mapping relation: c012433
narrower: Rewriting
narrower: Axioms
narrower: Multi value logic
narrower: Metamathematics
narrower: Linear logic
narrower: Chomsky hierarchy
narrower: Constructive mathematics
narrower: Second order logic
narrower: Combinatorial logic
narrower: Proof theory
narrower: Formal specification
narrower: Type theory (Logic)
narrower: Concurrency (Symbolic logic)
narrower: Computability theory
narrower: Fuzzy logic
narrower: Logic algebra
narrower: First order logic
narrower: Operational semantics
narrower: Horn logic
narrower: Complex systems
narrower: Automorphism
narrower: Denotational semantics
narrower: Knuth-Bendix algorithm
narrower: Predicate logic
narrower: Specifications
narrower: Software semantics
narrower: Set theory
narrower: Completeness problems
narrower: Model theory
narrower: Markov algorithms
narrower: Formal models
narrower: Formal methods
narrower: L-systems
narrower: Boolean algebra
narrower: Infinity
narrower: Specification languages
narrower: Automatons
narrower: Decidability
narrower: Nonmonotonic logics
preferred label: Symbolsk logikk @nb
related: Recursiv algorithms
related: Artificial languages
related match: e23

Logics
type: Topic
type: Concept
narrower: Symbolic logic
preferred label: Logikk @nn

Humord
type: ConceptScheme

Rewriting
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Omskrivning (Symbolsk logikk) @nn

Axioms
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Aksiom @nn
preferred label: Aksiomer @nb

Metamathematics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Metamatematikk @nn

Constructive mathematics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Konstruktiv matematikk @nn

Proof theory
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Provsteori @nn
preferred label: Bevisteori @nb

Type theory (Logic)
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Typeteori @nn

Fuzzy logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Fuzzy logikk @nn

Horn logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Horn-logikk @nn

Automorphism
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Automorfiar @nn
preferred label: Automorfier @nb

Knuth-Bendix algorithm
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Knuth-Bendix-algoritmen @nn

Predicate logic
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Predikatlogikk @nn

Software semantics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Programsemantikk @nn

Set theory
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Mengdelære @nn

Boolean algebra
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Boolsk algebra @nn

Infinity
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Ævelengd @nn
preferred label: Uendelighet @nb

Specification languages
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Spesifikasjonsspråk @nn

Decidability
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Avgjerbarheit @nn
preferred label: Avgjørbarhet @nb

Nonmonotonic logics
type: Topic
type: Concept
broader: Symbolic logic
preferred label: Ikkje-monoton logikk @nn
preferred label: Ikke-monoton logikk @nb

Topic
type: Class
label: Innholdsbeskrivende emne @nb