Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, (Hardcover, 1999)

Preface. 1. Operations, Collections and Sets within a General Axiomatic Framework; M. Forti, et al. 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective; G. Hellman. 3. Carnap's Remarks on Impredicative Definitions and the Genericity Theorem; T. Fruchart, G. Longo. 4. Godel, Turing, and K-Graph Machines; W. Sieg, J. Byrnes. 5. Linear Recurrence Relations are Delta0 Definable; A. Berarducci, B. Intrigila. 6. On Applicative Theories; G. Jager, et al. 7. The Use of a Logical Principle of Uniform Boundedness in Analysis; U. Kohlenbach. 8. Epsilon-Substitution Method for the Ramified Language and Delta11-Comprehension Rule; G. Mints, S. Tupailo. 9. The Abstract Compactness Theorem Revisited; X. Caicedo. 10. On Sets Enclosed Between a Set and its Double Complement; W. Veldman. 11. Relations. Binary Relations in the Social and Mathematical Sciences; J. Lambek. 12. Basic Logic and the Cube of its Extensions; G. Battilotti, G. Sambin. 13. Some Observations on Noncommutative Substructural Logics; H. Ono. 14. On Predicate Logic as Modal Logic; D. Westerstahl. 15. A First-Order Effect and Modal Propositional Formulas; A Chagrov. 16. Herbrand's Theorem for a Modal Logic; M. Fitting. 17. Intuitionistic Modal Logic; F. Wolter, M. Zakharyaschev. 18. Dynamic Datatructures; H. Jervell. 19. Resolution and the Decision Problem; A. Leitsch. 20. Model Logic, Linear Logic, Optimal Lambda-Reduction; S. Guerrini, et al.