| 2006 |
|---|
| 5 | EE | Blanka Kozlíková,
Vitezslav Svejdar:
On interplay of quantifiers in Gödel-Dummett fuzzy logics.
Arch. Math. Log. 45(5): 569-580 (2006) |
| 2003 |
|---|
| 4 | EE | Vitezslav Svejdar:
On the polynomial-space completeness of intuitionistic propositional logic.
Arch. Math. Log. 42(7): 711-716 (2003) |
| 3 | EE | Vitezslav Svejdar:
The decision problem of provability logic with only one atom.
Arch. Math. Log. 42(8): 763-768 (2003) |
| 2000 |
|---|
| 2 | EE | Vitezslav Svejdar,
Kamila Bendová:
On inter-expressibility of logical connectives in Gödel fuzzy logic.
Soft Comput. 4(2): 103-105 (2000) |
| 1983 |
|---|
| 1 | | Vitezslav Svejdar:
Modal Analysis of Generalized Rosser Sentences.
J. Symb. Log. 48(4): 986-999 (1983) |
