WorldCat Identities

Girard, J. Y.

Overview
Works: 14 works in 26 publications in 3 languages and 118 library holdings
Roles: Author, Editor
Classifications: QA248, 511.322
Publication Timeline
.
Most widely held works by J. Y Girard
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture by J. Y Girard( Book )

10 editions published in 1976 in 3 languages and held by 73 WorldCat member libraries worldwide

Philosophie et mathematiques by IREM Paris-Nord( Book )

1 edition published in 1980 in French and held by 3 WorldCat member libraries worldwide

Une étude homologique des réseaux by François Métayer( Book )

1 edition published in 1994 in French and held by 3 WorldCat member libraries worldwide

Les preuves de la logique linéaire ont une structure géométrique originale, celle de graphe apparié: parmi ces graphes, Les réseaux sont ceux qui représentent effectivement une preuve. La thèse définit l'homologie des graphes appariés et montre que celle-ci caractérise les réseaux. Ces résultats sont appliqués à la décision des formules. Est également discutée la complexité algorithmique de ce dernier problème
On the unity of logic = De l'unite de la logique by J.-Y Girard( Book )

2 editions published in 1991 in English and held by 2 WorldCat member libraries worldwide

This approach is radically different from the one that consists in 'changing the rule of the game' when we want to change logic, e.g. pass from one style of sequent to another: here there is only one logic, which -- depending on its use -- may appear classical, intuitionistic or linear."
Une nouvelle logique constructive : la logique classique = A new constructive logic : classical logic by J.-Y Girard( Book )

2 editions published in 1991 in English and held by 2 WorldCat member libraries worldwide

The enhanced version of correlation domains yields a semantical version of forms of the disjunction property, and a completeness result is conjectured."
Equalization for bilators by J.-Y Girard( Book )

2 editions published in 1986 in English and held by 2 WorldCat member libraries worldwide

Set recursion and ***-logic by J.-Y Girard( Book )

1 edition published in 1983 in English and held by 1 WorldCat member library worldwide

Linear logic and lazy computation by J.-Y Girard( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

Enbeddability of ptykes by Dag Normann( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

Recursion Theory by K Fine( )

1 edition published in 1993 in English and held by 0 WorldCat member libraries worldwide

Bounded Variable Logics and Counting a Study in Finite Models by S. R Buss( )

1 edition published in 1997 in English and held by 0 WorldCat member libraries worldwide

Fine Structure and Iteration Trees by K Fine( )

1 edition published in 1994 in English and held by 0 WorldCat member libraries worldwide

Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way by Arnold W Miller( )

1 edition published in 1995 in English and held by 0 WorldCat member libraries worldwide

Model Theory of Fields by S. R Buss( )

1 edition published in 1996 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.83 (from 0.70 for Bounded Va ... to 0.94 for Equalizati ...)

Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
Languages
Covers