Formal Systems and Recursive Functions

Advisory Editorial Board......Page 1 Edited by......Page 2 Copyright page......Page 3 Preface......Page 4 I. Formal Systems......Page 5 Some Modal Calculi Based On IC......Page 6 The Logic of Interrogatives......Page 11 Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi......Page 15 A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus ......Page 45 Distributive Normal Forms in First-Order Logic......Page 51 Semantical Analysis of Intuitionistic Logic I......Page 95 Set Theory and Higher-Order Logic......Page 134 Existence in Lesniewśki and in Russell......Page 152 Functions and Rogators......Page 159 Infinitely Long Terms of Transfinite Type......Page 179 II. Symposium on Recursive Functions......Page 189 Constructive Order Types, I......Page 190 Multiple Successor Arithmetics......Page 266 Unsolvable Problems in the Theory of Computable Numbers......Page 273 Predicative Well-Orderings......Page 281 Remarks on Machines, Sets, and the Decision Problem......Page 305