1 citations · 2 across the 5 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
On Some Syntactic Properties of the Modalized Heyting Calculus
Alexei Muravitsky
We show that the modalized Heyting calculus~\cite{esa06} admits a normal axiomatization. Then we prove that in this calculus the inference rule is admissible (Proposit…
math.LO2016★ 1 cited
Lindenbaum method (propositional language)
Alex Citkin, Alexei Muravitsky
Lindenbaum method is named after the Polish logician Adolf Lindenbaum who prematurely and without a clear trace disappeared in the turmoil of the Second World War at the age of abo…