Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
type: Item
instance of: scholarly article
title: Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
zbMATH Open document ID: 0807.00012
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1995-02-15T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{von Wrigth, Georg Henrik}, Logic and philosophy in the twentieth century, 9-25 [Zbl 0825.03001] \textit{Buss, Samuel R.}, The witness function method and provably recursive functions of Peano arithmetic, 29-68 [Zbl 0829.03036] \textit{Lambek, J.}, Some aspects of categorical logic, 69-89 [Zbl 0824.03035] \textit{Mints, G. E.}, Gentzen-type systems and Hilbert's epsilon substitution method. I, 91-122 [Zbl 0835.03023] \textit{Rathjen, Michael}, Admissible proof theory and beyond, 123-147 [Zbl 0833.03018] \textit{Louveau, Alain}, On the reducibility order between Borel equivalence relations, 151-155 [Zbl 0826.04001] \textit{Mitchell, William}, The core model up to a Woodin cardinal, 157-175 [Zbl 0824.03028] \textit{Ambos-Spies, Klaus; Lempp, Steffen; Lerman, Manuel}, Lattice embeddings into the r.e. degrees preserving 1, 179-198 [Zbl 0819.03032] \textit{Arslanov, Marat M.}, Contributions to the history of variations of weak density in the \(n\)- r.e. degrees, 199-208 [Zbl 0824.03017] \textit{Cooper, S. Barry}, Rigidity and definability in the noncomputable universe, 209-235 [Zbl 0852.03019] \textit{Makowsky, J. A.}, The impact of model theory on theoretical computer science, 239-262 [Zbl 0854.03040] \textit{Nute, Donald}, A decidable quantified defeasible logic, 263-284 [Zbl 0820.03014] \textit{Burgess, John P.}, Non-classical logic and ontological non-commitment, avoiding abstract objects through modal operators, 287-305 [Zbl 0825.03025] \textit{Pelham, Judy; Urquhart, Alasdair}, Russellian propositions, 307-326 [Zbl 0825.03024] \textit{Segerberg, Krister}, Accepting failure in dynamic logic, 327-349 [Zbl 0838.03027] \textit{Seidenfeld, Teddy}, When normal and extensive form decisions differ, 451-463 [Zbl 0818.90003] \textit{Nagorny, N. M.}, Andrei Markov and mathematical constructivism, 467-479 [Zbl 0817.01012] \textit{Woleński, Jan}, Contributions to the history of the classical tru…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 01-06
zbMATH DE Number: 723328
zbMATH Keywords: Logic
zbMATH Keywords: Methodology
zbMATH Keywords: Philosophy
zbMATH Keywords: Science
zbMATH Keywords: Proceedings
zbMATH Keywords: Congress
zbMATH Keywords: Uppsala (Sweden)
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 723328