Sequents and trees : an introduction to the theory and applications of propositional sequent calculi / Andrzej Indrzejczak.
Indrzejczak, Andrzej.
2021
QA9.54
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Sequents and trees : an introduction to the theory and applications of propositional sequent calculi / Andrzej Indrzejczak.
Author Indrzejczak, Andrzej.
ISBN 9783030571450 (electronic bk.)
3030571459 (electronic bk.)
3030571440
9783030571443
DOI https://doi.org/10.1007/978-3-030-57145-0
Publication Details Cham : Birkhäuser, 2021.
Language English
Description 1 online resource
Item Number 10.1007/978-3-030-57145-0 doi
Call Number QA9.54
Dewey Decimal Classification 511.3
Summary This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. 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, and applied to non-classical logics, including modal, intuitionistic, subcultural, 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.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed February 18, 2021).
Series Studies in universal logic, 2297-0282
Available in Other Form Print version: 9783030571443
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
Analytic Sequent Calculus for CPL
Gentzen's Sequent Calculus LK
Purely Logical Sequent Calculus
Sequent Calculi for Modal Logics
Alternatives to CPL
Appendix.

Browse Subjects

Show more subjects...

Statistics

from
to
Export