Focusing and Polarization in Intuitionistic Logic
- 24 August 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A Logical Characterization of Forward and Backward Chaining in the Inverse MethodLecture Notes in Computer Science, 2006
- LJQ: A Strongly Focused Calculus for Intuitionistic LogicLecture Notes in Computer Science, 2006
- Testing Concurrent Systems: An Interpretation of Intuitionistic LogicLecture Notes in Computer Science, 2005
- The duality of computationPublished by Association for Computing Machinery (ACM) ,2000
- A new deconstructive logic: linear logicThe Journal of Symbolic Logic, 1997
- Sequent calculi for second order logicPublished by Cambridge University Press (CUP) ,1995
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- Linear logicTheoretical Computer Science, 1987