Főmenü
Friss hírek
Elszámoláshoz szükséges dokumentáció
Eredmények
Változások bejelentése
Üdvözlet
Felhasználónév:

Jelszó:


Adatok megjegyzése

[ ]
Szerződő felek
Honlapok
A projekt keretében megvalósult honlapok:

BTK: http://talentum.btk.elte.hu/

TTK Fizika Doktori Iskola: http://fiztan.phd.elte.hu/index.html

Illyés Sándor Szakkollégium http://szabadegyetem2012.hu/
Esélyegyenlőség
Írjon nekünk!
A projekttel kapcsolatos kérdésével, panaszával forduljon bizalommal a projektmenedzsmenthez:
Projektmenedzsment
Powered By
e107
PHP
MySQL
Five lectures on constructive logic Valerii Plisko
nemes, kedd 06 november 2012 - 12:21:20 // Hozzászólás kikapcsolva


Five lectures on constructive logic
Valerii Plisko
November 2012, Budapest

1. Intuitionism and intuitionistic logic

Constructive and non-constructive reasonings. Intuitionistic approach in mathematics and logic. The intuitionistic meaning of the logical concepts.
Choice sequences. Elements of the intuitionistic analysis. Propositional and predicate intuitionistic calculi. The negative translation. The Glivenko theorem.
2. Semantical investigation of intuitionistic logic

Heyting algebras for intuitionistic propositional logic. Non-tabularity and finite model property of the intuitionistic propositional calculus. Kripke semantics for propositional and predicate intuitionistic logic. Completeness theorems.
3. Intuitionistic theories

Intuitionistic arithmetic. An investigation of intuitionistic theories by means of Kripke models. Disjunction and existential properties of intuitionistic theories. The formal Church thesis and the Markov principle. Formal principles of the intuitionistic analysis.
4. Constructive semantics

An algorithmic treatment of the basic intuitionistic concepts. Recursive realizability and constructive mathematics. Propositional and predicate logics based on the notion of realizability. Elements of the constructive model theory.
5. Constructive interpretations of formal languages

Interpetations of the first-order languages in the languages of finite types. G¨odel’s interpretation. Modified realizability. Extracting algorithms from the constructive proofs.


Vissza a kategória listához   Hírek