Collegium Logicum: Annals of the Kurt-Godel Society (Collegium Logicum)

Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines. Front Matter....Pages i-vii Resolution Games and Non-Liftable Resolution Orderings....Pages 1-20 A Tableau Calculus for Partial Functions....Pages 21-49 MUltlog: an Expert System for Multiple-valued Logics....Pages 50-55 A Fundamental Problem of Mathematical Logic....Pages 56-64 On the lengths of proofs of consistency....Pages 65-86 The Craig Interpolation Theorem for Schematic Systems....Pages 87-100 The Role of Monotonicity in Descriptive Complexity Theory....Pages 101-117 Numbers Defined by Turing Machines....Pages 118-137 Back Matter....Pages 139-143 This volume covers a wide range of mathematical problems, including philosophical logic, logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation.