Filozofija
Не постоје подаци о траженом курсу.
План курса:
1. недеља предавање - Системи секвената.
|
2. недеља предавање - Систем секвената за интуиционистичку логику.
|
3. недеља предавање - Интуиционистичка логика са филозофског аспекта.
|
4. недеља предавање - Систем секвената за релевантну логику.
|
5. недеља предавање - Релевантна логика са филозофског аспекта.
|
6. недеља предавање - Систем секвената за афину логику.
|
7. недеља предавање - Афина логика са филозофског аспекта
|
8. недеља предавање - Систем секвената за линеарну логику.
|
9. недеља предавање - Линеарна логика са филозофског аспекта.
|
10. недеља предавање - Систем секвената за Ламбеков рачун.
|
11. недеља предавање - Ламбеков рачун са филозофског аспекта.
|
12. недеља предавање - Историјски преглед настајања супструктуралних логика и неки најновији резултати.
|
13. недеља предавање - Интересантна питања и проблеми за даља истраживања
Интересантна питања и проблеми за даља истраживања везана за супструктуралне логике.
|
Литература и извори података:
Општа обавезна литература
K. Došen and P. Schroeder-Heister, eds., Substructural Logics (Clarendon Press, Oxford,1993);
A. S. Troelstra, Lectures on Linear Logic (CSLI-Lecture Notes 29, Center for the Study of Language and Information, Stanford, California, 1992);
Anderson and Belnap, Entailment: The logic of relevance and necessity;
M. Dunn and G. Restall, Relevance Logic у D. M. Gabbay and F. Guenthner, Handbook of Philosophical Logic 2nd edition, Volume 6;
J.-Y. Girard, Y. Lafont and P.Taylor, Proofs and Types (Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press, Cambridge, U.K. 1988), нека поглавља;
A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press, Cambridge, U.K., 1996), нека поглавља.