Unified Logics

Computational Logic SeminarTuesday, April 29, 20142:00 pmGraduate Center, rm. 3209

Alex Citkin

Unified Logics

Chief Information Officer of Metropolitan Telecommunications, New York

The presentation studies the propositional logical systems containing multiple-conclusion rules that admit the asserted and rejected propositions at the same time.

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.

Posted by on April 24th, 2014