Victor N. Krivtsov

Available identifiers

zbMath Open krivtsov.victor-nMaRDI QIDQ708926

List of research outcomes

Publication	Date of Publication	Type
Semantical completeness of first-order predicate logic and the weak fan theorem	2015-06-26	Paper
An intuitionistic completeness theorem for classical predicate logic	2010-10-15	Paper
A negationless interpretation of intuitionistic theories	2002-03-21	Paper
A negationless interpretation of intuitionistic theories. I	2001-07-09	Paper
A negationless interpretation of intuitionistic theories. II	2001-02-06	Paper
Note on extensions of Heyting's arithmetic by adding the ``creative subject	1999-10-05	Paper
The logic of a creative subject: conservativism versus intuitionistic predicate calculus	1997-05-06	Paper
On the semantic completeness of the logics of the creating subject	1996-07-24	Paper
Creative subject, Beth models and neighbourhood functions	1996-03-06	Paper
Embedding intuitionistic-type theory in negationless-type theory	1986-01-01	Paper
A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic	1984-01-01	Paper
Deductive capabilities of negationless predicate calculus	1984-01-01	Paper
One type of formal negationless systems	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3705452	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710527	1984-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: Victor N. Krivtsov