Publications
Search

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.