Victor N. Krivtsov

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Victor N. Krivtsov