Vítězslav Švejdar

Available identifiers

zbMath Open svejdar.vitezslavWikidataQ102357460 ScholiaQ102357460MaRDI QIDQ804560

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869553	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5149161	2021-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4918305	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4903812	2013-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4648961	2012-11-16	Paper
On interpretability in the theory of concatenation	2009-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q5445176	2008-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q3417780	2007-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q5488131	2006-09-13	Paper
On interplay of quantifiers in Gödel-Dummett fuzzy logics	2006-09-04	Paper
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics	2006-08-18	Paper
The decision problem of provability logic with only one atom	2004-03-07	Paper
On the polynomial-space completeness of intuitionistic propositional logic	2003-10-29	Paper
Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases	2000-07-23	Paper
A note on the normal form of closed formulas of interpretability logic	1991-01-01	Paper
Some independence results in interpretability logic	1991-01-01	Paper
Modal analysis of generalized rosser sentences	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942957	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4193434	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vítězslav Švejdar