V. Jankov

The Calculus of the Weak "law of Excluded Middle"

V. Jankov, 1968 .

ON THE EXTENSION OF THE INTUITIONIST PROPOSITIONAL CALCULUS TO THE CLASSICAL CALCULUS, AND THE MINIMAL CALCULUS TO THE INTUITIONIST CALCULUS

V. Jankov, V A Jankov, 1968 .

CONJUNCTIVELY INDECOMPOSABLE FORMULAS IN PROPOSITIONAL CALCULI

V. Jankov, V A Jankov, 1969 .

THREE SEQUENCES OF FORMULAS WITH TWO VARIABLES IN THE POSITIVE PROPOSITIONAL LOGIC

V. Jankov, 1968 .