1 citations · 2 across the 5 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017
On one embedding of Heyting algebras
Alexei Muravitsky
The paper is devoted to an algebraic interpretation of Kuznetsov's theorem which establishes the assertoric equipollence of intuitionistic and proof-intuitionistic propositional ca…
math.LO2017★ 1 cited
On the Equipollence of the Calculi Int and KM
Alexei Muravitsky
Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic ca…