Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Specifications for sequent calculus

Elaine Pimentel (an occasional visitor to Parsifal) and Miller have been developing means of specifying object-level logics in linear logic is such a way that the meta-theory of linear logic can be used to infer properties of the specified object-logic. In particular, they have presented sufficient conditions that guarantee that cuts and non-atomic initial rules can be eliminated [13] .


previous
next

Logo Inria