Valery Plisko

Available identifiers

zbMath Open plisko.valeryMaRDI QIDQ234728

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3108202	2012-01-01	Paper
On Two Attempts of Describing Propositional Realizability Logic	2011-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3020318	2011-08-03	Paper
A Survey of Propositional Realizability Logic	2009-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5294535	2007-07-24	Paper
On Primitive Recursive Realizabilities	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5472008	2006-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4815986	2004-09-08	Paper
Arithmetic complexity of the predicate logics of certain complete arithmetic theories	2002-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4761670	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4242460	1999-05-10	Paper
Modified realizability and predicate logic	1999-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4369426	1998-01-28	Paper
On logics having diagnostic formulas relative to minimal calculus	1996-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4306655	1994-09-21	Paper
On arithmetic complexity of certain constructive logics	1993-04-01	Paper
On the concept of relatively uniform realizability of propositional formulas	1993-03-11	Paper
Diagnostic propositional formulas	1992-06-26	Paper
On correlation of some concepts in the constructive model theory	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3362716	1992-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3363725	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3363696	1991-01-01	Paper
Constructive formalization of the Tennenbaum theorem and its applications	1990-01-01	Paper
The Kolmogorov calculus as a part of minimal calculus	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819018	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812244	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3755454	1986-01-01	Paper
ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS	1984-01-01	Paper
SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4163217	1978-01-01	Paper
THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4149444	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133605	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053615	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4052085	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4047525	1973-01-01	Paper

Research outcomes over time

This page was built for person: Valery Plisko