Lectures on Mathematical Logic, Volume II
Regular price
€80.99
14 days return policy
Shipping & Delivery
A01=Walter Felscher
advanced sequent calculus techniques
Age Group_Uncategorized
Age Group_Uncategorized
algebraic logic
Author_Walter Felscher
automatic-update
Boolean Algebras
calculi
Category1=Non-Fiction
Category=PBCD
Category=PBCH
Category=PBK
Category=PBW
Congruence Relation
COP=United Kingdom
Cut
Cut Degree
Cut Formula
Delivery_Pre-order
ent
eq_isMigrated=2
eq_nobargain
Follow
formal deduction
formula
Generalized Axiom
Holds
Ib Le
intuitionistic reasoning
Inversion Rules
isses
Language_English
Left Prem
logical inference rules
maximal
Maximal Nodes
node
P Te
PA=Temporarily unavailable
prem
Price_€50 to €100
principal
Principal Formula
Principal Occurrence
proof theory
PS=Active
quantifier elimination
Reflexive Axiom
Root Piece
RPC
Ru Le
Sequent Calculus
sequential
Side Formula
softlaunch
statem
Tan Ces
Term Algebra
Vice Versa
Violate
Product details
- ISBN 9780367398583
- Weight: 620g
- Dimensions: 152 x 229mm
- Publication Date: 05 Sep 2019
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
Felscher, Walter
