Kenneth A. Loparo

Collegium Logicum

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Collegium Logicum Nr.2
• Verlag: Springer / Springer Vienna / Springer, Wien
• Artikelnr. des Verlages: 978-3-211-82796-3
• 1996.
• Seitenzahl: 152
• Erscheinungstermin: 30. April 1996
• Englisch
• Abmessung: 244mm x 170mm x 9mm
• Gewicht: 302g
• ISBN-13: 9783211827963
• ISBN-10: 321182796X
• Artikelnr.: 34212297

Inhaltsangabe

Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.