What is the translation of " PROOF THEORY " in French?

• théorie de la démonstration
• théorie de la preuve

Examples of using Proof theory in English and their translations into French

Proof theory.
Théorie de la preuve.

Are fundamental for proof theory.
Sont fondamentales pour la théorie de la preuve.

Proof theory.
Théorie de la démonstration.

The Development of Proof Theory.
Le développement de la théorie de la preuve.

Proof theory Homotopy type theory..
Théorie de la démonstration Théorie homotopique des types.

Yet without giving details of proof theory, let us review some general properties.
Mais sans détailler une théorie de la démonstration, voyons-en quelques propriétés générales.

Proof theory, computational complexity and automated deduction.
Théorie de la preuve, complexité de calcul et déduction automatisée.

My work concentrates on proof theory and programming languages semantics.
Mon travail se concentre sur la théorie de la démonstration et la sémantique des langages de programmation.

Proof theory: classical logic, type theory, computational interpretations.
Théorie de la preuve: logique classique, théorie des types, interprétations calculatoires.

He is best known for his work on proof theory and the foundations of natural deduction.
Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.

Proof theory completes this by describing formal systems of rules of proofs..
La théorie de la démonstration complète cela, en décrivant des formalismes possibles des règles de preuves.

Autre description Normalisation and equivalence in proof theory and type theory..
Normalisation et équivalence en théorie de la démonstration et théorie des mots clés.

The logic involved is closer to proof theory than to that of computability theory and computable functions.
Les arguments utilisés sont plus proches de la théorie de la preuve que des théories de la calculabilité et des fonctions récursives.

It would be fair to say that Post's thesis marks the beginning of proof theory.
Il serait juste de dire que le poste de thèse marque le début de la théorie de la démonstration.

Programming languages, type theory, proof theory, rewriting and algebra.
Les langages de programmation, la théorie des types, la théorie de la preuve, la réécriture et l'algèbre.

Thus the proof theory of first-order logic becomes more complicated when empty structures are permitted.
Ainsi, la théorie de la démonstration de la logique du premier ordre devient plus compliquée lorsque les structures vides sont autorisées.

Chapters 1 contains an axiomatic and semantic overview of conditional logics, while Chapter 2 is a short introduction to proof theory.
Le chapitre 1 présente les axiomes et la sémantique des logiques conditionnelles et le chapitre 2 introduit la théorie de la démonstration.

The research aim is to investigate the proof theory of conditional logics, by defining sequent calculi for them.
Le but de la recherche est d'étudier la théorie de la démonstration des logiques conditionnelles, en précisant leur calculs des sequents.

The object of the CALLIGRAMME projet-team is the development of tools and methods stemming from proof theory, especially linear logic.
L'équipe-projet CALLIGRAMME a pour objectif le développement d'outils et de méthodes issus de la théorie de la démonstration et, en particulier, de la logique linéaire.

The field of mathematics known as proof theory studies formal languages, axioms and the structure of proofs..
Le domaine des mathématiques, connu sous le nom de théorie de la preuve, étudie les langues formelles, les axiomes et la structure des épreuves.

How to use "proof theory" in an English sentence

I is; download isilc proof theory symposion.

During the download isilc proof theory symposion.

The five-part download isilc proof theory symposion.

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.

Schütte’s Proof Theory (Springer, 1977) and G.

Proof Theory for First Order Lukasiewicz Logic.

tenure positions for proof theory at universities.

Proof Theory and Logical Complexity, volume 1.

Proof theory for predicate logic with identity.

There occur, of download isilc proof theory symposion.

How to use "théorie de la démonstration, théorie de la preuve" in a French sentence

Théorie de la démonstration appliquée à la vérification de la commutativité de diagrammes catégoriques.

On est alors dans le cadre d'une théorie de la démonstration de cette logique.

Lafont : Théorie de la démonstration et informatique : de l'ingénierie typographique à la géometrie. (ps, dvi)

L’ouvrage esquisse pour la première fois une théorie de la preuve dans le droit de l’Union européenne comme ordre juridique propre.

La théorie de la démonstration et du calcul propositionnel (logique) a trois objectifs dans le cadre de ce site :

Fertilisation croisée entre la théorie de la démonstration et la théorie des programmes.

Le cours présentera des éléments de théorie de la preuve et de théorie des modèles.

peuvent-elles référer et si oui, comment ?) et d’une théorie de la preuve (que peut-on inférer de ces phrases ?).

Cette triple approche peut être rapprochée de la distinction moderne entre syntaxe, théorie de la démonstration et théorie des modèles28.

La théorie de la démonstration tente de dire "ce qu'est une démonstration en mathématiques", c'est fondée comme toute théorie sur des axiomes.