@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1>
  skos:prefLabel "logique"@fr, "logic"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-CV5TVP45-Q> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-CV5TVP45-Q>
  skos:definition "type de logique qui permet de raisonner en présence d’affirmations et de leurs contraires, sans trivialiser le raisonnement comme le ferait la logique classique (Source :  <a href=\"https://ia.gdria.fr/Glossaire/logique-paraconsistante/\">https://ia.gdria.fr/Glossaire/logique-paraconsistante/</a> )"@fr, "a type of logic that supports reasoning in the presence of assertions and their opposites, without trivializing reasoning as classical logic does (Source : translated from  <a href=\"https://ia.gdria.fr/Glossaire/logique-paraconsistante/\">https://ia.gdria.fr/Glossaire/logique-paraconsistante/</a> )"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Paraconsistent_logic>, <https://www.wikidata.org/wiki/Q426592>, <https://fr.wikipedia.org/wiki/Logique_paracoh%C3%A9rente> ;
  a skos:Concept ;
  skos:altLabel "logique paracohérente"@fr ;
  dc:modified "2024-06-20T11:45:16"^^xsd:dateTime ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  skos:prefLabel "paraconsistent logic"@en, "logique paraconsistante"@fr .