Proof Theory and Algebra in Logic
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights t
- PDF / 2,329,359 Bytes
- 164 Pages / 439.371 x 666.143 pts Page_size
- 54 Downloads / 221 Views
Hiroakira Ono
Proof Theory and Algebra in Logic
Short Textbooks in Logic Series Editors Fenrong Liu, Department of Philosophy, Tsinghua University, Beijing, China Hiroakira Ono, School of Information Science, Japan Advanced Institute of Science and Technology, Nomi City, Ishikawa, Japan Eric Pacuit, Department of Philosophy, University of Maryland, College Park, MD, USA Jeremy Seligman, University of Auckland, Auckland, New Zealand
This is a systematically designed book series that comprises of textbooks on various topics in logic. Though each book can be read independently, the series as a whole gives readers a comprehensive view of logic of the present time. Each book in the series is written clearly and concisely, and at the same time supplies plenty of well-planned examples and exercises to the point. The series is also aimed at providing readers with adequate explanations of scope and motivation of topics. The topics discussed in the series range from mathematical and philosophical logic to logical methods applied to computer science. Some will be introductory and some other will be advanced but not too much specific. Its targeted readers are advanced undergraduate as well as graduate students in philosophy, mathematics, computer science and the related fields. The series is also suitable for self-taught learning.
More information about this series at http://www.springer.com/series/15706
Hiroakira Ono
Proof Theory and Algebra in Logic
123
Hiroakira Ono Japan Advanced Institute of Science and Technology Nomi, Japan
ISSN 2522-5480 ISSN 2522-5499 (electronic) Short Textbooks in Logic ISBN 978-981-13-7996-3 ISBN 978-981-13-7997-0 (eBook) https://doi.org/10.1007/978-981-13-7997-0 © Springer Nature Singapore Pte Ltd. 2019 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This Springer imprint is published by the registered company Springer Nature Singapo
Data Loading...