×

Krivtsov, Victor N.

Author ID: krivtsov.victor-n Recent zbMATH articles by "Krivtsov, Victor N."
Published as: Krivtsov, V. N.; Krivtsov, Victor N.
Documents Indexed: 18 Publications since 1984
Reviewing Activity: 45 Reviews

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 9 times in 6 Documents Cited by Year
A negationless interpretation of intuitionistic theories. I. Zbl 0964.03065
Krivtsov, Victor N.
2
2000
An intuitionistic completeness theorem for classical predicate logic. Zbl 1204.03019
Krivtsov, Victor N.
2
2010
A negationless interpretation of intuitionistic theories. II. Zbl 0968.03073
Krivtsov, Victor N.
2
2000
Note on extensions of Heyting’s arithmetic by adding the “creative subject”. Zbl 0931.03072
Krivtsov, Victor N.
1
1999
A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic. Zbl 0576.03037
Krivtsov, V. N.
1
1984
A negationless interpretation of intuitionistic theories. Zbl 0981.03062
Krivtsov, Victor N.
1
2000
An intuitionistic completeness theorem for classical predicate logic. Zbl 1204.03019
Krivtsov, Victor N.
2
2010
A negationless interpretation of intuitionistic theories. I. Zbl 0964.03065
Krivtsov, Victor N.
2
2000
A negationless interpretation of intuitionistic theories. II. Zbl 0968.03073
Krivtsov, Victor N.
2
2000
A negationless interpretation of intuitionistic theories. Zbl 0981.03062
Krivtsov, Victor N.
1
2000
Note on extensions of Heyting’s arithmetic by adding the “creative subject”. Zbl 0931.03072
Krivtsov, Victor N.
1
1999
A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic. Zbl 0576.03037
Krivtsov, V. N.
1
1984

Citations by Year