CSL07 September

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

chaeh

Nombre de lectures

Langue

English

Niveau: Supérieur
CSL07, 14 September 2007 1/19 Focusing and Polarization in Intuitionistic Logic Chuck Liang, Hofstra University, New York, USA Dale Miller, INRIA-Futurs & LIX, France Outline 1. Motivate focusing proof systems 2. A comprehensive approach to focusing for intuitionistic logic 3. LJF: a focusing proof system for intuitionistic logic 4. LKF: a focusing proof system for classical logic 5. Future work and conclusions

systems generally

g2 ?

proof systems

motivate focusing

positive atom

either positive

synchronous connective

Voir

Publié par

chaeh

Nombre de lectures

Langue

English

Hofstra University

CSL07,14September2007FocusingandPolarizationinIntuitionisticLogicChuckLiang,HofstraUniversity,NewYork,USADaleMiller,INRIA-Futurs&LIX,FranceOutline1.Motivatefocusingproofsystems2.Acomprehensiveapproachtofocusingforintuitionisticlogic3.LJF:afocusingproofsystemforintuitionisticlogic4.LKF:afocusingproofsystemforclassicallogic5.Futureworkandconclusions91/1

Voir