Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Vitezslav
Last name:	Svejdar
DBLP:	03/1965
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 5 of 5  

Select a publication
Show	Title	Venue	Rating	Date
	Blanka Kozlíková, Vitezslav Svejdar. On interplay of quantifiers in Gödel-Dummett fuzzy logics.	Arch. Math. Log. 2006, Volume 45	(0)	2006
	Vitezslav Svejdar. On the polynomial-space completeness of intuitionistic propositional logic.	Arch. Math. Log. 2003, Volume 42	(0)	2003
	Vitezslav Svejdar. The decision problem of provability logic with only one atom.	Arch. Math. Log. 2003, Volume 42	(0)	2003
	Vitezslav Svejdar, Kamila Bendová. On inter-expressibility of logical connectives in Gödel fuzzy logic.	Soft Comput. 2000, Volume 4	(0)	2000
	Vitezslav Svejdar. Modal Analysis of Generalized Rosser Sentences.	J. Symb. Log. 1983, Volume 48	(0)	1983

Your query returned 5 matches in the database.