Limitar la búsqueda a ejemplares disponibles

Cubierta del libro
Autor Leitsch, Alexander. author.

Título Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.

Publicación Dordrecht : Springer Netherlands, 2011.
Descripción física VI, 290 p. online resource.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Colección Trends in Logic ; 34
Trends in Logic ; 34
Springer eBooks. Mathematics and Statistics
       Mostrar referencias similares
Contiene: 1 Preface -- 2 Introduction -- 3 Preliminaries -- 4 Complexity of Cut-Elimination -- 5 Reduction and Elimination -- 6 Cut-Elimination by Resolution -- 7 Extensions of CERES -- 8 Applications of CERES -- 9 CERES in Nonclassical Logics -- 10 Related Research.
Resumen: This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CEREŚ䴯 interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.
Materia Mathematics.
Mathematical logic.
       Mostrar referencias similares
Mathematical Logic and Foundations.
       Mostrar referencias similares
Mathematical Logic and Formal Languages.
       Mostrar referencias similares
Autor secundario Baaz, Matthias., author.
SpringerLink (Online service)
En Springer eBooks
OTRO SOPORTE Printed edition: 9789400703193
ISBN 9789400703209 978-94-007-0320-9
ISBN/ISSN 10.1007/978-94-007-0320-9 doi