Vitezslav Svejdar
Associate professor at the Department of Logic,
College of Arts and Philosophy, Charles University, since Nov 1990. Courses
An Introduction to Recursive Functions and Logic II
(with an emphasis on incompleteness phenomena and
meta-mathematics of arithmetic). Some courses also at the College of
Mathematics and Physics.
During 1982-90 employed in a software development division of an industrial company CKD Polovodice. Participation in development of a real time multitask operational system (control system) for PDP-11 computers. The system was then applied in several branches of industry.
Ph.D. in mathematical logic. Dissertation Self-Reference and Modal Logic, 1982, supervisor Petr Hajek. Graduated in mathematics from Charles University, 1978, master's thesis (RNDr) Degrees of Interpretability.
Interpretability of axiomatic theories, arithmetization, related modal logics, complexity of non-classical logics.
| Email: | firstnamedotlastnameatcunidotcz (please retype manually) |
| Phone: | (+420) 221619646 |
| Mail addr: | College of Arts and Philosophy, Charles University, Palachovo nam. 2, 116 38 Praha 1, Czech Republic |
| Office: | Celetna 20, room 120 |
| Office hrs: | Ct 15:45. |
- On Purely implicational Fragments of Intuitionistic Propositional Logic. Conference talk at the Logica '11 International Conference, Hejnice, Czech Republic. Handout (four pages per sheet).
- Výuka logiky bez logických pojmů. To appear in L. Dostálová, ed., Organon 10. Printer version, conference talk.
- Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept? In M. Peliš and V. Punčochář, eds., The Logica Yearbook 2010, pp. 283-294. College Publications, London, 2011. Printer version, conference talk.
- Decision Problems of Some Intermediate Logics and Their Fragments. In M. Peliš, ed., The Logica Yearbook 2009, pp. 297-307. College Publications, London, 2010. Printer version, conference talk.
- On Interpretability in the Theory of Concatenation. Notre Dame Journal of Formal Logic, 50(1):87-95, 2009. Author-created version in pdf, or in postscript (two pages per sheet).
- Logika: neuplnost, slozitost a nutnost, Academia, Praha 2002.
- Others
Department of Logic
College of Arts and Philosophy
College of Mathematics and Physics (MFF UK)
TeXInfo.pdf,
MikInst24.html,
BibTeXInfo.pdf,
BNCalc.pdf.