Lectures on Mathematical Logic, Volume II /

"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&qu...

Full description

Bibliographic Details
Main Author:	Felscher, Walter (Author)
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Boca Raton, FL : CRC Press, 2014.
Edition:	First edition.
Subjects:	Set Theory Set theory. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

chapter Introduction
chapter 1 Positive Rules for Deductive Situations
chapter 2 The Calculus KsP
chapter 3 The Calculi KtP and KuP
chapter 4 Inversion Operators
chapter 5 Tableaux
part 2 Cuts
chapter 1 Cut Elimination with Exchange Operators
chapter 2 Arithmetization
chapter 1 Explicit Retracing as a Motivation
chapter 2 The Reduction Operator R0
chapter 3 The Reduction Operator R1 and the Elimination Operator
chapter 1 Negation in Deductive Situations
chapter 2 The Calculi KM0 of Minimal Logic and KJ0 of Intuitionistic Logic
chapter 3 The Intermediary Calculi KM1, KJ1
chapter 4 The Calculi LM and LJ
chapter 5 K-Calculi for the Connective
chapter 6 Tableaux
part 5 Sequent Calculi for Classical Logic
chapter 1 The Multiple Calculus MK
chapter 2 Cut Elimination with Inversion Rules for MK
chapter 3 MK as a Calculus for Classical Logic
chapter 4 The Calculi MP, MM and MJ
chapter 5 The Peirce Rule
chapter 6 Tableaux
chapter 1 d-Algebras and d-Frames
chapter 2 e-Algebras, e-Frames and RPC-Semilattices
chapter 3 g-Algebras, g-Frames and RPC-Lattices
chapter 4 m-Algebras, m-Frames and m-Lattices
chapter 5 i-Algebras, i-Frames and Heyting Algebras
chapter 6 c-Algebras, c-Frames and Boolean Algebras
chapter 7 Translations from Classical into Intuitionistic Logic
part 7 Calculi of Formulas
chapter 1 Modus Ponens Calculi for Positive Logic
chapter 2 Modus Ponens Calculi for Minimal and for Intuitionistic Logic
chapter 3 Modus Ponens Calculi for Classical Logic
chapter Historical Notes to Chapters 1 - 7
chapter 1 Quantifier Rules for Deductive Situations
chapter 2 Sequent Calculi with Q-rules
chapter 3 The Replacement Theorem and Cut Elimination for Calculi with rep
chapter 4 The Substitution Theorem and Cut Elimination for Calculi with sub
chapter 5 The Sets SUB
chapter 6 The Substitution Theorem Resumed
chapter 7 Cut Elimination Resumed
chapter 8 Inversion Rules
chapter 1 The Calculi cxqt and cxqs
chapter 2 The Variants cxqt0 of cxqt
chapter 3 The Variants cxqt1 and cxqt2 of cxqt
chapter 4 The Calculi cxqsi
chapter 5 The Deduction Theorem and Other Metarules for the Calculi ccqti
chapter 6 Tautologies of Positive Quantifier Logic
chapter 7 Tautologies of Minimal Quantifier Logic
chapter 8 Tautologies of Classical Quantifier Logic
chapter 1 Translating Between Sequential and Modus Ponens Calculi
chapter 2 Relations between Classical and Intuitionistic Derivability
chapter 3 Equality Logic
chapter 4 Language Extensions with Predicate Symbols
chapter 5 Language Extensions with Function Symbols 1
chapter 6 Language Extensions with Function Symbols 2
chapter 7 The Midsequent Theorem
chapter 8 Herbrand's Theorem for Prenex Formulas
chapter 9 Tableaux.