Victor N. Krivtsov

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
Semantical completeness of first-order predicate logic and the weak fan theorem Studia Logica	2015-06-26	Paper
An intuitionistic completeness theorem for classical predicate logic Studia Logica	2010-10-15	Paper
A negationless interpretation of intuitionistic theories Erkenntnis	2002-03-21	Paper
A negationless interpretation of intuitionistic theories. I Studia Logica	2001-07-09	Paper
A negationless interpretation of intuitionistic theories. II Studia Logica	2001-02-06	Paper
Note on extensions of Heyting's arithmetic by adding the ``creative subject'' Archive for Mathematical Logic	1999-10-05	Paper
The logic of a creative subject: conservativism versus intuitionistic predicate calculus Russian Mathematical Surveys	1997-05-06	Paper
On the semantic completeness of the logics of the creating subject Russian Mathematical Surveys	1996-07-24	Paper
Creative subject, Beth models and neighbourhood functions Archive for Mathematical Logic	1996-03-06	Paper
Embedding intuitionistic-type theory in negationless-type theory Mathematical Notes	1986-01-01	Paper
scientific article; zbMATH DE number 3931007 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3937178 (Why is no real title available?)	1984-01-01	Paper
Deductive capabilities of negationless predicate calculus Moscow University Mathematics Bulletin	1984-01-01	Paper
A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic Mathematical Notes	1984-01-01	Paper
One type of formal negationless systems Moscow University Mathematics Bulletin	1984-01-01	Paper

Research outcomes over time

This page was built for person: Victor N. Krivtsov