Search the dblp DataBase
Vitezslav Svejdar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Vitezslav Svejdar
On the polynomial-space completeness of intuitionistic propositional logic. [Citation Graph (0, 0)][DBLP]
Arch. Math. Log., 2003, v:42, n:7, pp:711-716 [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:763-768 [Journal] - Blanka Kozlíková, Vitezslav Svejdar
On interplay of quantifiers in Gödel-Dummett fuzzy logics. [Citation Graph (0, 0)][DBLP]
Arch. Math. Log., 2006, v:45, n:5, pp:569-580 [Journal] - Vitezslav Svejdar
Modal Analysis of Generalized Rosser Sentences. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1983, v:48, n:4, pp:986-999 [Journal] - Vitezslav Svejdar, Kamila Bendová
On inter-expressibility of logical connectives in Gödel fuzzy logic. [Citation Graph (0, 0)][DBLP]
Soft Comput., 2000, v:4, n:2, pp:103-105 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002