Team Parsifal

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

Section: New Results

The LINC meta-logic

A new meta-logic that plays a central role in the Parsifal plans to reason about operational semantics is the LINC logic. This logic was presented in the PhD thesis of Alwen Tiu [46] : part of it is also presented in [11] and [41] . The major results reported have been the cut-elimination theorem for LINC (hence, its consistency) and the development of numerous examples that indicate that this logic can serve the central purpose that we have planned for it.


previous
next

Logo Inria