Andere Kunden interessierten sich auch für
![Introductory Concepts for Abstract Mathematics]( "Introductory Concepts for Abstract Mathematics")
Introductory Concepts for Abstract Mathematics147,99 €![Concise Introduction to Logic and Set Theory]( "Concise Introduction to Logic and Set Theory")
Concise Introduction to Logic and Set Theory211,99 €![Irrationality and Transcendence in Number Theory]( "Irrationality and Transcendence in Number Theory")
Irrationality and Transcendence in Number Theory122,99 €![Algebra & Geometry]( "Algebra & Geometry")
Algebra & Geometry211,99 €![Algebraic Computability and Enumeration Models]( "Algebraic Computability and Enumeration Models")
Algebraic Computability and Enumeration Models205,99 €![A Functorial Model Theory]( "A Functorial Model Theory")
A Functorial Model Theory173,99 €![Forcing Idealized]( "Forcing Idealized")
Forcing Idealized143,99 €
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. The author presents a variety of proof systems for classical and non-classical logics and devotes chapters to proofs of cut theorems and decidability theorems.