Lectures on Mathematical Logic, Volume II

List of contents

1. Sequent Calculi for Positive Logic 2. Cuts 3. Continuous Cut Elimination 4. Sequent Calculis for Minimal and Intuitionistic Logic 5. Classes of Algebras Associated to a Calculus 6. Calculii of Formulas 7. Sequent Calculii for Quantifier Logic 8. Semantical Consequence Operations and Modus Ponens Calculi 9. Selected Topics in Sequential Quantifier Logic

About the author

Felscher, Walter

Product details

• Authors: Walter Felscher, Felscher Walter
• Publisher: Taylor and Francis
• Content: Book
• Product form: Hardback
• Publication date: 30.05.2000
• Subject: Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries
• EAN: 9789056992675
• ISBN: 978-90-5699-267-5
• Pages: 330
• Dimensions (packing): 15.2 x 22.9 cm
• Weight (packing): 780 g
• Series: Lecturers on Mathematical Logic
• Subjects: MATHEMATICS / Applied, MATHEMATICS / Logic, MATHEMATICS / Mathematical Analysis, MATHEMATICS / Set Theory, Calculus & mathematical analysis, Applied mathematics, Proof theory, Mathematical logic, Calculus and mathematical analysis, Set theory, Algebraic Logic, Quantifier Elimination, formal deduction, advanced sequent calculus techniques, logical inference rules, intuitionistic reasoning