Vítezslav Svejdar

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2018 J jnl
Modern Czech Logic: Vopenka and Hájek, History and Background.
FLAP
Vítezslav Svejdar
2009 J jnl
On Interpretability in the Theory of Concatenation.
Notre Dame J. Formal Log.
Vítezslav Svejdar
2007 J jnl
An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant.
Fundam. Informaticae
Vítezslav Svejdar
2006 J jnl
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics.
Soft Comput.
Vítezslav Svejdar
2006 J jnl
On interplay of quantifiers in Gödel-Dummett fuzzy logics.
Arch. Math. Log.
Blanka Kozlíková, Vítezslav Svejdar
2003 J jnl
On the polynomial-space completeness of intuitionistic propositional logic.
Arch. Math. Log.
Vítezslav Svejdar
2003 J jnl
The decision problem of provability logic with only one atom.
Arch. Math. Log.
Vítezslav Svejdar
2000 J jnl
On inter-expressibility of logical connectives in Gödel fuzzy logic.
Soft Comput.
Vítezslav Svejdar, Kamila Bendová
1991 J jnl
A note on the normal form of closed formulas of interpretability logic.
Stud Logica
Petr Hájek, Vítezslav Svejdar
1991 J jnl
Some independence results in interpretability logic.
Stud Logica
Vítezslav Svejdar
1983 J jnl
Modal Analysis of Generalized Rosser Sentences.
J. Symb. Log.
Vítezslav Svejdar