3 citations · 5 across the 9 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Hereditarily Structurally Complete Superintuitionistic Deductive Systems
Alex Citkin
The paper studies hereditarily complete superintuitionistic deductive systems, that is, the deductive system which logic is an extension of the intuitionistic propositional logic.…
math.LO2016
Admissibility in Positive Logics
Alex Citkin
The paper studies admissibility of multiple-conclusion rules in the positive logics. Using modification of a method used by M.~Wajsberg in the proof of the separation theorem, it i…
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…