Authors:
- Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results
- Includes many results and their proofs that are often not well known or easily accessible
- Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.
Part of the book series: Studies in Universal Logic (SUL)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
About this book
After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.
Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.
Reviews
Authors and Affiliations
-
Institute of Philosophy, University of Łódź, Lodz, Poland
Andrzej Indrzejczak
About the author
Bibliographic Information
Book Title: Sequents and Trees
Book Subtitle: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Authors: Andrzej Indrzejczak
Series Title: Studies in Universal Logic
DOI: https://doi.org/10.1007/978-3-030-57145-0
Publisher: Birkhäuser Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Hardcover ISBN: 978-3-030-57144-3Published: 17 December 2020
Softcover ISBN: 978-3-030-57147-4Published: 18 December 2021
eBook ISBN: 978-3-030-57145-0Published: 16 December 2020
Series ISSN: 2297-0282
Series E-ISSN: 2297-0290
Edition Number: 1
Number of Pages: XVI, 345
Number of Illustrations: 14 b/w illustrations, 1 illustrations in colour
Topics: Structures and Proofs, Logic, Philosophy of Mathematics