zbMath0587.03005MaRDI QIDQ1072539
Victor N. Krivtsov
Publication date: 1984 Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
zbMATH Keywords
deductive properties of systems of negationless intuitionistic predicate calculus
Mathematics Subject Classification ID
Subsystems of classical logic (including intuitionistic logic) (03B20)