Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995
The articles of this volume will be reviewed individually. Other papers of the same conference have been reviewed (see Zbl 0885.00048). The preceding conference (9, 1991) has been reviewed (see Zbl 0807.00012). Indexed articles: \textit{Forti, Marco; Honsell, Furio; Lenisa, Marina}, Operations, collections and sets within a general axiomatic framework, 1-24 [Zbl 0951.03005] \textit{Hellman, Geoffrey}, Some ins and outs of indispensability: A modal-structural perspective, 25-39 [Zbl 0946.03004] \textit{Fruchart, Thomas; Longo, Giuseppe}, Carnap's remarks on impredicative definitions and the genericity theorem, 41-55 [Zbl 0946.03073] \textit{Sieg, Wilfried; Byrnes, John}, Gödel, Turing, and \(K\)-graph machines, 57-66 [Zbl 0949.03034] \textit{Berarducci, Alessandro; Intrigila, Benedetto}, Linear recurrence relations are \(\Delta_0\) definable, 67-81 [Zbl 0952.03067] \textit{Jäger, Gerhard; Kahle, Reinhard; Strahm, Thomas}, On applicative theories, 83-92 [Zbl 0951.03054] \textit{Kohlenbach, Ulrich}, The use of a logical principle of uniform boundedness in analysis, 93-106 [Zbl 0954.03065] \textit{Mints, Grigori; Tupailo, Sergei}, Epsilon-substitution method for the ramified language and \(\Delta_1^1\)-comprehension rule, 107-130 [Zbl 0954.03061] \textit{Caicedo, Xavier}, The abstract compactness theorem revisited, 131-141 [Zbl 0955.03044] \textit{Veldman, Wim}, On sets enclosed between a set and its double complement, 143-154 [Zbl 0951.03060] \textit{Lambek, J.}, Binary relations in the social and mathematical sciences, 155-163 [Zbl 0947.03049] \textit{Battilotti, Giulia; Sambin, Giovanni}, Basic logic and the cube of its extensions, 165-186 [Zbl 0965.03009] \textit{Ono, Hiroakira}, Some observations on noncommutative substructural logics, 187-194 [Zbl 0951.03022] \textit{Westerståhl, Dag}, On predicate logic as modal logic, 195-207 [Zbl 0979.03018] \textit{Chagrov, A. V.}, A first-order effect and modal propositional formulas, 209-217 [Zbl 0957.03029] \textit{Fitting, Melvin}, Herbrand's theorem for a modal logic, 219-225 [Zbl 0947.03024] \textit{Wolter, Frank; Zakharyaschev, Michael}, Intuitionistic modal logic, 227-238 [Zbl 0955.03029] \textit{Jervell, Herman R.}, Dynamic datastructures, 239-247 [Zbl 0957.03064] \textit{Leitsch, Alexander}, Resolution and the decision problem, 249-269 [Zbl 0958.03008] \textit{Guerrini, Stefano; Martini, Simone; Masini, Andrea}, Modal logic, linear logic, optimal lambda-reduction, 271-282 [Zbl 0951.03019]
- Language, quantum, music. Papers of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 1995
- Structures and norms in science. Volume two of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 19--25, 1995
- In the scope of logic, methodology and philosophy of science. Vol. II of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999
- Logic, methodology and philosophy of science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983
- In the scope of logic, methodology and philosophy of science. Vol. II of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999
- The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
- Logic, methodology and philosophy of science VIII. Proceedings of the eighth international congress of logic, methodology and philosophy of science, Moscow, August 17-22, 1987
- scientific article; zbMATH DE number 3887608 (Why is no real title available?)
- Studies in constructive mathematics and mathematical logic. XI
- Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16--19, 2005
- Philosophical perspectives on mathematical practice. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26--28, 2007
- scientific article; zbMATH DE number 5194952 (Why is no real title available?)
- Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1--6, 2008
- scientific article; zbMATH DE number 3963754 (Why is no real title available?)
- scientific article; zbMATH DE number 4045704 (Why is no real title available?)
- Logic, methodology and philosophy of science. Proceedings of the 15th international congress, Helsinki, Finland, August 3--8, 2015
- New directions in logic and the philosophy of science. Selected papers from the triennial international conference (SILFS 14), University of Roma TRE, Rome, Italy, June 18--20, 2014.
- scientific article; zbMATH DE number 3209150 (Why is no real title available?)
- Structures and norms in science. Volume two of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 19--25, 1995
- Special issue: The contributions of logic to the foundations of physics. Based on the 6th international Studia Logica international conference ``Trends in logic VI, Brussels, Belgium, December 11--12, 2008
This page was built for publication: Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125622)
