|
195
|
Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types
– J-Y Girard
- 1970
|
|
395
|
The formulae-as-types notion of construction
– W A Howard
- 1980
|
|
4
|
Computational interpretations of linear logic
– S Abramski
- 1993
|
|
2
|
Syntax and Semantics of Linear Logic
– A Avron
- 1988
|
|
1
|
Feasibility in
– J Dubucs
|
|
3
|
Radical Antirealism and Substructural Logics’, to appear
– J Dubucs, M Marion
- 2003
|
|
1
|
On the Meaning of Logical Rules I:Syntax vs. Semantics’, http://iml.univ-mrs.fr/ girard/Articles.html
– J-Y Girard
- 1998
|
|
1
|
A.Scedrov and P.Scott, ’Bounded Linear Logic, A Modular Approach to Polynomial-Time
– J-Y Girard
- 1992
|
|
3
|
Lolli: An Extension of Lambda-Prolog with Linear Logic Context Management
– Joshua S. Hodas
- 1992
|
|
1
|
Epistemic Logic in Higher Order Logic
– P Lescanne
- 2001
|
|
8
|
A Logic of Implicit and Explicit
– H J Levesque
- 1984
|
|
2
|
Modal and Fixpoint Linear Logic
– A Martin
- 2002
|
|
2
|
Working with Linear Logic
– J Powers, C Webster
- 1999
|
|
4
|
Y.Moses, and M.Y.Vardi, Reasoning about Knowledge
– R Fagin, J Y Halpern
- 1995
|
|
6
|
Cut-Elimination for Full Intuitionistic Linear Logic
– Torben Braüner, Valeria De Paiva
|
|
3
|
Two-level meta-reasoning
– Amy P Felty
|
|
10
|
Making proofs without modus ponens: An introduction to the combinatorics and complexity of cut elimination
– A Carbone, S Semmes
- 1997
|
|
2
|
A logic of implicit and explicit belief, Fairchild FLAIR
– H Levesque
- 1984
|
|
14
|
Gentzen method in modal calculi
– M Onishi, K Matsumoto
- 1959
|
