CSL07 September

Description

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

Sujets

• Hofstra University

Informations

• Publié par: chaeh
• Nombre de lectures: 4
• Langue: English

Extrait

CSL07,14September2007 FocusingandPolarizationinIntuitionisticLogic ChuckLiang,HofstraUniversity,NewYork,USA DaleMiller,INRIA-Futurs&LIX,France Outline 1.Motivatefocusingproofsystems 2.Acomprehensiveapproachtofocusingforintuitionisticlogic 3.LJF:afocusingproofsystemforintuitionisticlogic 4.LKF:afocusingproofsystemforclassicallogic 5.Futureworkandconclusions 91/1