Filozofická Fakulta

Katedra logiky

Aktuality

Topology, Algebra and Categories in Logic 2017 Summer...

09. květen 2017

Tommaso Moraschini will give a series of four lectures on Abstract Algebraic Logic as a...

02. květen 2017

Ústav filosofie a religionistiky FF UK a Oddělení logiky FLÚ AV ČR vás zvou na přednášku prof....

02. květen 2017

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Vítězslav Švejdar

 neklasické logiky, metamatematika aritmetiky

 email: Please see the home page.
 www: www1.cuni.cz/~svejdar/

Publikace

2009
Švejdar, V., "On interpretability in the theory of concatenation", Notre Dame Journal of Formal Logic, vol. 50, no. 1: University of Notre Dame, pp. 87–95, 2009. Abstract  Stáhnout: pdf preprint (182.3 KB)
2007
Švejdar, V., "An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant", Fundamenta Informaticae, vol. 81, no. 1: IOS Press, pp. 347–354, 2007.