|Abstract||The course falls into three parts. In the first part, encompassing Chapters 2-6, we shall streamline and upgrade the treatment of sentence and predicate calculi already familiar from the introductory course. In the second part, which is Chapter ??, we shall prove the completeness of the predicate calculus utilising methods and techniques acquired in the first part. In the third part, consisting of Chapters 8-9, we shall discuss some elements of the theory of algorithms. We shall then make inroads into metamathematics and prove G¨ odel’s famous incompleteness theorems. Finally, in Chapter 10, we shall formulate some important model-theoretic results, but omit most of the proofs. Disclaimer. These notes do not constitute an attempt of writing a book. Some of the issues discussed here may have been amended, expanded, or further explained in the class|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jonathan P. Seldin (1986). On the Proof Theory of the Intermediate Logic MH. Journal of Symbolic Logic 51 (3):626-647.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Tatsuya Shimura (1993). Kripke Completeness of Some Intermediate Predicate Logics with the Axiom of Constant Domain and a Variant of Canonical Formulas. Studia Logica 52 (1):23 - 40.
Dmitrij Skvortsov (1997). Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Studia Logica 59 (3):387-396.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Pierluigi Minari (1983). Completeness Theorems for Some Intermediate Predicate Calculi. Studia Logica 42 (4):431 - 441.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,813 )
Recent downloads (6 months)0
How can I increase my downloads?