
Search the dblp DataBase
Vitezslav Svejdar:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Vitezslav Svejdar
On the polynomialspace completeness of intuitionistic propositional logic. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:7, pp:711716 [Journal]
 Vitezslav Svejdar
The decision problem of provability logic with only one atom. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:8, pp:763768 [Journal]
 Blanka Kozlíková, Vitezslav Svejdar
On interplay of quantifiers in GödelDummett fuzzy logics. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:5, pp:569580 [Journal]
 Vitezslav Svejdar
Modal Analysis of Generalized Rosser Sentences. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:4, pp:986999 [Journal]
 Vitezslav Svejdar, Kamila Bendová
On interexpressibility of logical connectives in Gödel fuzzy logic. [Citation Graph (0, 0)][DBLP] Soft Comput., 2000, v:4, n:2, pp:103105 [Journal]
Search in 0.002secs, Finished in 0.002secs
