
Proceedings of the Sixteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
Logical frameworks and metalanguages form a common substrate for repres...
read it

A Rewriting Logic Approach to Specification, Proofsearch, and Metaproofs in Sequent Systems
This paper develops an algorithmicbased approach for proving inductive ...
read it

Hypersequent calculi for nonnormal modal and deontic logics: Countermodels and optimal complexity
We present some hypersequent calculi for all systems of the classical cu...
read it

Ecumenical modal logic
The discussion about how to put together Gentzen's systems for classical...
read it

A Game Model for Proofs with Costs
We look at substructural calculi from a game semantic point of view, gui...
read it

The ILLTP Library for Intuitionistic Linear Logic
Benchmarking automated theorem proving (ATP) systems using standardized ...
read it

Proof systems: from nestings to sequents and back
In this work, we explore proof theoretical connections between sequent, ...
read it

A Concurrent Constraint Programming Interpretation of Access Permissions
A recent trend in object oriented (OO) programming languages is the use ...
read it
Elaine Pimentel
is this you? claim profile