Cantitate/Preț
Produs
Total produse
Vezi coșul
Sequents and Trees de Andrzej Indrzejczak

Sequents and Trees: Studies in Universal Logic

Autor Andrzej Indrzejczak
en Limba Engleză Hardback – 17 dec 2020
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi 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, 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.

Citește tot Restrânge

Din seria Studies in Universal Logic

  • Completeness Theory for Propositional Logics
    Preț: 37215 lei
  • The Life and Work of Leon Henkin
    Preț: 39856 lei
  • The Road to Universal Logic
    Preț: 40928 lei
  • Towards an Arithmetical Logic
    Preț: 38617 lei
  • Modern Logic 1850-1950, East and West
    Preț: 37312 lei
  • 15% The Square of Opposition: A Cornerstone of Thought
    Preț: 53500 lei
  • 24% The Lvov-Warsaw School. Past and Present
    Preț: 90649 lei
  • 15% Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    Preț: 59004 lei
  • 15% Language, Logic, and Mathematics in Schopenhauer
    Preț: 61301 lei
  • Decidability of Logical Theories and Their Combination
    Preț: 48505 lei
  • 15% Logical Skills
    Preț: 72181 lei
  • 18% The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
    Preț: 91664 lei
  • 18% Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    Preț: 113332 lei
  • 15% Universal Algebraic Logic
    Preț: 64618 lei
  • 24% Logic - Language - Ontology
    Preț: 82557 lei
  • 24% Universal Logic, Ethics, and Truth
    Preț: 89515 lei
  • 18% Institution-independent Model Theory
    Preț: 94363 lei
  • 18% Russell, Gödel, Tarski
    Preț: 92459 lei
  • 24% New Articulations of the Theory of Oppositions
    Preț: 145792 lei
  • nou Universal Algebraic Logic: Dedicated to the Unity of Science
    Preț: 36275 lei

Preț: 31747 lei

Puncte Express: 476
Paperback 39336 lei
Hardback 31747 lei

Carte disponibilă

Livrare economică 14-28 noiembrie
Livrare express 31 octombrie-06 noiembrie pentru 4845 lei

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030571443
ISBN-10: 3030571440
Pagini: 364
Ilustrații: XVI, 345 p. 15 illus., 1 illus. in color.
Dimensiuni: 160 x 241 x 26 mm
Greutate: 0.66 kg
Ediția:1st ed. 2021
Editura: birkhäuser
Colecția Studies in Universal Logic
Seria Studies in Universal Logic

Locul publicării:Cham, Switzerland

Cuprins

Introduction.- Analytic Sequent Calculus for CPL.- Gentzen's Sequent Calculus LK.- Purely Logical Sequent Calculus.- Sequent Calculi for Modal Logics.- Alternatives to CPL.- Appendix.

Recenzii

“Each chapter of the book is structured in a similar way and contains the basic definitions, facts and necessary discussion regarding the key notions, accompanied with new ideas and a wide reference list, followed by the author's clear and approachable style. This book is self-contained, presenting an extensive survey of the applications and usefulness of cut elimination, and seems to be an extremely interesting source not only for logicians and philosophers, but also for researchers in computer science.” (Branislav Boričić, Mathematical Reviews, May, 2022)

Notă biografică

Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.

Textul de pe ultima copertă

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.

Caracteristici

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.