Editorial Logic Colloquium '95, Haifa, Israel: Invited papers on proof theory.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 273, doi. 10.1007/s001530050098
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1998 AND VI 37 AND IP 5/6
Results: 10
1
2
A proof-theoretic analysis of collection.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 275, doi. 10.1007/s001530050099
- By:
- Publication type:
- Article
3
Note on generalizing theorems in algebraically closed fields.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 297, doi. 10.1007/s001530050100
- By:
- Publication type:
- Article
4
Planar and braided proof-nets for multiplicative linear logic with mix.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 309, doi. 10.1007/s001530050101
- By:
- Publication type:
- Article
5
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 327, doi. 10.1007/s001530050102
- By:
- Publication type:
- Article
6
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 343, doi. 10.1007/s001530050103
- By:
- Publication type:
- Article
7
Elimination of Skolem functions for monotone formulas in analysis.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 363, doi. 10.1007/s001530050104
- By:
- Publication type:
- Article
8
The ... quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 391, doi. 10.1007/s001530050105
- By:
- Publication type:
- Article
9
Normal deduction in the intuitionistic linear logic.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 415, doi. 10.1007/s001530050106
- By:
- Publication type:
- Article
10
Bounding derivation lengths with functions from the slow growing hierarchy.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 427, doi. 10.1007/s001530050107
- By:
- Publication type:
- Article