Vítězslav Švejdar

Modal analysis of generalized rosser sentences

Vítězslav Švejdar · Journal of Symbolic Logic · 1983 · 40 citations

Engineering, Constructive Logic, Classical Logic +17

On Interpretability in the Theory of Concatenation

Vítězslav Švejdar · Notre Dame Journal of Formal Logic · 2009 · 39 citations · Full text

Engineering, Robinson Arithmetic Q, Higher-order Logic +16

Degrees of interpretability

Vítězslav Švejdar · Czech digital mathematics library · 1978 · 29 citations · Full text

On the polynomial-space completeness of intuitionistic propositional logic

Vítězslav Švejdar · Archive for Mathematical Logic · 2003 · 28 citations

Non-classical Logic, Engineering, Automated Reasoning +5

An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant

Vítězslav Švejdar · Fundamenta Informaticae · 2008 · 23 citations

Theoretical Mathematics, Geometry Of Number, Engineering +15