About: Sequent calculus

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Sequent calculus Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:comment	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. (fr)
Wikipage revision ID	183493971 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Raisonnement_mathématique category-fr:Méthode_de_démonstration category-fr:Théorie_de_la_démonstration Greek alphabet Antecedent (logic) dbpedia-fr:Arithmétique First-order logic category-fr:Logique category-fr:Logique_mathématique Logical conjunction dbpedia-fr:Conséquent_(logique) dbpedia-fr:Dag_Prawitz dbpedia-fr:Disjonction_logique dbpedia-fr:Déduction_naturelle Gerhard Gentzen dbpedia-fr:Helena_Rasiowa Idempotence dbpedia-fr:Implication_(logique) dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Logique_classique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_linéaire dbpedia-fr:Logique_mathématique dbpedia-fr:Logiques_sous-structurelles dbpedia-fr:Loi_commutative dbpedia-fr:Nombre_ordinal dbpedia-fr:Règle_de_coupure dbpedia-fr:Récurrence_transfinie dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Variable_libre dbpedia-fr:Modus_ponens
prov:wasDerivedFrom	wikipedia-fr:Calcul_des_séquents?oldid=183493971&ns=0
is dbo:wikiPageWikiLink of	Propositional calculus First-order logic Proof complexity Logical conjunction Curry–Howard correspondence dbpedia-fr:Coupure dbpedia-fr:Disjonction_logique dbpedia-fr:Déduction_naturelle dbpedia-fr:Evert_Willem_Beth dbpedia-fr:Formule_atomique Gerhard Gentzen Universal instantiation dbpedia-fr:Introduction_de_la_disjonction dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Jean_Ladrière dbpedia-fr:Logique_et_raisonnement_mathématique dbpedia-fr:Logique_linéaire dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_paracohérente dbpedia-fr:Logiques_sous-structurelles dbpedia-fr:Problème_de_la_décision dbpedia-fr:Raisonnement dbpedia-fr:Règle_d'inférence dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Règle_d'élimination_(logique) dbpedia-fr:Règle_de_coupure Proof net Rewriting Disjunctive syllogism dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Sémantique_de_la_théorie_de_la_preuve dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorème_d'interpolation_de_Craig dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Théorème_de_complétude_(calcul_des_propositions) Gödel's completeness theorem List of theorems called fundamental Validity (logic) dbpedia-fr:Séquent dbpedia-fr:Modus_ponens dbpedia-fr:Calcul_de_séquences

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software