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

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