@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@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#> .

psr: a skos:ConceptScheme .
psr:-F8V1QJJ3-3
  skos:prefLabel "théorie de la démonstration"@fr, "proof theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-BLJN8T0M-6 .

psr:-BLJN8T0M-6
  skos:exactMatch <https://fr.wikipedia.org/wiki/Calcul_des_s%C3%A9quents>, <https://en.wikipedia.org/wiki/Sequent_calculus> ;
  skos:inScheme psr: ;
  skos:broader psr:-F8V1QJJ3-3 ;
  skos:prefLabel "calcul des séquents"@fr, "sequent calculus"@en ;
  skos:definition """In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology. Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than to David Hilbert's earlier style of formal logic, in which every line was an unconditional tautology. More subtle distinctions may exist; for example, propositions may implicitly depend upon non-logical axioms. In that case, sequents signify conditional theorems in a first-order language rather than conditional tautologies. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Sequent_calculus">https://en.wikipedia.org/wiki/Sequent_calculus</a>)"""@en, """En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole ⊢ (taquet droit), « : » (deux-points) ou encore → (flèche droite) dans l'œuvre originale de Gentzen.
<br/>Un séquent représente une étape d'une démonstration, le calcul des séquents explicitant les opérations possibles sur ce séquent en vue d'obtenir une démonstration complète et correcte. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Calcul_des_s%C3%A9quents">https://fr.wikipedia.org/wiki/Calcul_des_s%C3%A9quents</a>)"""@fr ;
  a skos:Concept ;
  dc:modified "2024-10-18"^^xsd:date .