Lectures on Mathematical Logic, Volume II
Regular price
€137.99
14 days return policy
Shipping & Delivery
A01=Walter Felscher
advanced sequent calculus techniques
algebraic logic
Author_Walter Felscher
Boolean Algebras
calculi
Category=PBCD
Category=PBCH
Category=PBK
Category=PBW
Congruence Relation
Cut
Cut Degree
Cut Formula
ent
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Follow
formal deduction
formula
Generalized Axiom
Holds
Ib Le
intuitionistic reasoning
Inversion Rules
isses
Left Prem
logical inference rules
maximal
Maximal Nodes
node
P Te
prem
principal
Principal Formula
Principal Occurrence
proof theory
quantifier elimination
Reflexive Axiom
Root Piece
RPC
Ru Le
Sequent Calculus
sequential
Side Formula
statem
Tan Ces
Term Algebra
Vice Versa
Violate
Product details
- ISBN 9789056992675
- Weight: 780g
- Dimensions: 152 x 229mm
- Publication Date: 30 May 2000
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
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
