Alex Citkin

Alex Citkin

Alex Citkin

Chief Information Officer of Metropolitan Telecommunications, New York

external web page

The principal area of expertise is inference rules in propositional logics, especially the rules admissible in the intuitionistic and intermediate logics. The main achievement in this area is the criterion of hereditary structural completeness for intermediate logics.
Alex Citkin has 1 talk in our database:
Computational Logic Seminar April 29, 2014