Skip to main content
PRL Project

Kopylov and Nogin CSL Submission

by Alexei Kopylov

Alexey will talk about results that he and Alexey Nogin submitted to CSL. One of the topics is a new logic of evidence that is based on the squash operator. In last Monday's lecture I gave a preview of these results by defining the new propositional operator, [A], squash A. Alexey can define a version of Markov's principle with this primitive. This work is part of a general investigation of new propositional logics based on types that Alexey Kopylov and I are discussing and for which more results will be forthcoming this semester.