Vítezslav Svejdar

According to our database, Vítezslav Svejdar authored at least 11 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Modern Czech Logic: Vopenka and Hájek, History and Background.

Vítezslav Svejdar

FLAP, 2018

2009

On Interpretability in the Theory of Concatenation.

Vítezslav Svejdar

Notre Dame J. Formal Log., 2009

2007

An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant.

Vítezslav Svejdar

Fundam. Informaticae, 2007

2006

Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics.

Vítezslav Svejdar

Soft Comput., 2006

On interplay of quantifiers in Gödel-Dummett fuzzy logics.

Blanka Kozlíková, Vítezslav Svejdar

Arch. Math. Log., 2006

2003

The decision problem of provability logic with only one atom.

Vítezslav Svejdar

Arch. Math. Log., 2003

On the polynomial-space completeness of intuitionistic propositional logic.

Vítezslav Svejdar

Arch. Math. Log., 2003

2000

On inter-expressibility of logical connectives in Gödel fuzzy logic.

Vítezslav Svejdar, Kamila Bendová

Soft Comput., 2000

1991

Some independence results in interpretability logic.

Vítezslav Svejdar

Stud Logica, 1991

A note on the normal form of closed formulas of interpretability logic.

Petr Hájek, Vítezslav Svejdar

Stud Logica, 1991

1983

Modal Analysis of Generalized Rosser Sentences.

Vítezslav Svejdar

J. Symb. Log., 1983