Category: Talks

Chuck Liang speaks 20 March 14h

The following talk will be held in the Salle de Conference of LIX at 14h on 20 March 2012. An Intuitionistic Logic for Sequential Control by Chuck Liang We introduce the propositional logic ICL for “Intuitionistic Control Logic”, which adds to intuitionistic logic elements of classical reasoning without collapsing it into classical logic. As in …

Continue reading