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.