Vítězslav Švejdar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7594128 (Why is no real title available?)	2022-09-28	Paper
Do we need recursion?	2021-02-06	Paper
scientific article; zbMATH DE number 6157055 (Why is no real title available?)	2013-04-24	Paper
Relatives of Robinson arithmetic	2013-01-27	Paper
Decision problems of some intermediate logics and their fragments	2012-11-16	Paper
On interpretability in the theory of concatenation Notre Dame Journal of Formal Logic	2009-11-18	Paper
An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant	2008-03-03	Paper
On sequent calculi for intuitionistic propositional logic.	2007-01-30	Paper
scientific article; zbMATH DE number 5053656 (Why is no real title available?)	2006-09-13	Paper
On interplay of quantifiers in Gödel-Dummett fuzzy logics Archive for Mathematical Logic	2006-09-04	Paper
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics Soft Computing	2006-08-18	Paper
The decision problem of provability logic with only one atom Archive for Mathematical Logic	2004-03-07	Paper
On the polynomial-space completeness of intuitionistic propositional logic Archive for Mathematical Logic	2003-10-29	Paper
Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases Perspectives in Psychiatric Care	2000-07-23	Paper
A note on the normal form of closed formulas of interpretability logic Studia Logica	1991-01-01	Paper
Some independence results in interpretability logic Studia Logica	1991-01-01	Paper
Modal analysis of generalized rosser sentences Journal of Symbolic Logic	1983-01-01	Paper
scientific article; zbMATH DE number 3760157 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3632437 (Why is no real title available?)	1978-01-01	Paper

Research outcomes over time

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