@prefix yso: <http://www.yso.fi/onto/yso/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ysa: <http://www.yso.fi/onto/ysa/> .
@prefix allars: <http://www.yso.fi/onto/allars/> .

yso:p5900
  skos:prefLabel "deduktion"@sv, "deduktio"@fi, "deduction"@en ;
  a skos:Concept ;
  skos:related yso:p456 .

yso:p17907
  skos:prefLabel "formal logic"@en, "formaalinen logiikka"@fi, "formell logik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p25008
  skos:prefLabel "abduktio -- filosofia"@fi, "abduktion (filosofi)"@sv ;
  a skos:Concept ;
  skos:related yso:p456 .

yso:p21553
  skos:prefLabel "tänkandets lagar"@sv, "ajattelun lait"@fi ;
  a skos:Concept ;
  skos:related yso:p456 .

yso:p5903
  skos:prefLabel "conceptual science"@sv, "conceptual science"@en, "käsitteellinen tiede"@fi ;
  a skos:Concept ;
  skos:narrower yso:p456 .

yso:conceptscheme
  rdfs:label "http://www.yso.fi/onto/yso" ;
  a skos:ConceptScheme .

yso:p2874
  skos:prefLabel "dialectics"@en, "dialektiikka"@fi, "dialektik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p10364
  skos:prefLabel "sentence logic"@en, "lauselogiikka"@fi, "satslogik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p456
  skos:related yso:p5900, yso:p5901, yso:p5902, yso:p21553, yso:p25008 ;
  skos:narrower yso:p7677, yso:p455, yso:p15195, yso:p10365, yso:p2874, yso:p10364, yso:p15194, yso:p17907, yso:p7986 ;
  skos:closeMatch ysa:Y96960, allars:Y22061 ;
  skos:broader yso:p5903 ;
  skos:prefLabel "logik"@sv, "logic"@en, "logiikka"@fi ;
  a skos:Concept ;
  skos:inScheme yso:conceptscheme .

yso:p15195
  skos:prefLabel "model theory"@en, "malliteoria"@fi, "modellteori"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p5901
  skos:prefLabel "induction -- philosophy"@en, "induktion (filosofi)"@sv, "induktio -- filosofia"@fi ;
  a skos:Concept ;
  skos:related yso:p456 .

yso:p10365
  skos:prefLabel "predicate logic"@en, "predikaattilogiikka"@fi, "predikatlogik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p5902
  skos:prefLabel "slutledning"@sv, "deduction"@en, "päättely"@fi ;
  a skos:Concept ;
  skos:related yso:p456 .

yso:p7986
  skos:prefLabel "sumea logiikka"@fi, "fuzzy logic"@en, "oskarp logik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p7677
  skos:prefLabel "intensionaalinen logiikka"@fi, "intensional logik"@sv, "intentional logic"@en ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p455
  skos:prefLabel "theory of proof"@en, "todistusteoria"@fi, "bevisteori"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .

yso:p15194
  skos:prefLabel "mathematical logic"@en, "matemaattinen logiikka"@fi, "matematisk logik"@sv ;
  a skos:Concept ;
  skos:broader yso:p456 .