Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 280 - Rilegato

 
9780792356592: Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 280
Rilegato
ISBN 10: 0792356594 ISBN 13: 9780792356592
Casa editrice: Springer-Verlag GmbH, 1999

Sinossi

The 10th International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the state of research in all areas of logic and the philosophy of science. The papers chosen for inclusion in this volume represent a combination of technical results in pure and applied logic with papers devoted to conceptual analysis, deeply rooted in advanced research. The selection ranges from contributions in proof theory, model theory, set theory and formal systems, to philosophical logic and the philosophical and foundational problems of logic, mathematics and computer science. The volume should be of interest to the logical specialist and scholars interested in critical reflections on the foundations of logic, mathematics and computer science.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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. Gödel, 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. Jäger, 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. Westerståhl. 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, OptimalLambda-Reduction; S. Guerrini, et al.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag GmbH
Data di pubblicazione
1999
Lingua
Inglese
ISBN 10 
0792356594
ISBN 13 
9780792356592
Rilegatura
Copertina rigida
Numero di pagine
296
Redattore
Cantini Andrea, Casari Ettore, Minari Pierluigi
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9789048152018: Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 280

Edizione in evidenza

ISBN 10:  9048152011 ISBN 13:  9789048152018
Casa editrice: Springer, 2010
Brossura