Matematisk logikk (symbolsk logikk)
type: Concept
narrower: Ikke-klassisk logikk
notation: 511.3

Ikke-klassisk logikk
type: Concept
including: Lineær logikk
including: Ikke-monoton logikk
including: Abduksjon
including: Substrukturell logikk
including: Parakonsistent logikk
including: Default-logikk
including: Relevanslogikk
created: 2010-02-04
modified: 2018-07-26
alternative label: Abduksjon (logikk)
alternative label: Lineær logikk
alternative label: Parakonsistent logikk
alternative label: Abduktivt resonnement
alternative label: Relevanslogikk
alternative label: Abduktivt resonnement--matematisk logikk
alternative label: Ikke-klassisk logikk--matematisk logikk
alternative label: Ikke-monoton logikk
alternative label: Substrukturell logikk
alternative label: Default-logikk
broader: Matematisk logikk (symbolsk logikk)
in scheme: Norsk WebDewey
narrower: Modal logikk
narrower: Sannsynlighetslogikk
narrower: Betinget logikk
narrower: Fuzzy-logikk
narrower: Flerverdilogikk
notation: 511.31

Flerverdilogikk
type: Concept
broader: Ikke-klassisk logikk
notation: 511.312

Fuzzy-logikk
type: Concept
broader: Ikke-klassisk logikk
notation: 511.313

Modal logikk
type: Concept
broader: Ikke-klassisk logikk
notation: 511.314

Betinget logikk
type: Concept
broader: Ikke-klassisk logikk
notation: 511.317

Sannsynlighetslogikk
type: Concept
broader: Ikke-klassisk logikk
notation: 511.318

Norsk WebDewey
type: ConceptScheme