research
∙
08/08/2023
Explorations in Subexponential Non-associative Non-commutative Linear Logic
In a previous work we introduced a non-associative non-commutative logic...
share
research
∙
07/06/2023
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
In a previous work we introduced a non-associative non-commutative logic...
research
∙
06/06/2023
An ecumenical view of proof-theoretic semantics
Debates concerning philosophical grounds for the validity of classical a...
research
∙
04/05/2022
On an ecumenical natural deduction with stoup – Part I: The propositional case
Natural deduction systems, as proposed by Gentzen and further studied by...
research
∙
04/05/2022
Separability and harmony in ecumenical systems
The quest of smoothly combining logics so that connectives from classica...
research
∙
07/14/2021
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Logical frameworks and meta-languages form a common substrate for repres...
research
∙
01/08/2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
This paper develops an algorithmic-based approach for proving inductive ...
research
∙
06/09/2020
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity
We present some hypersequent calculi for all systems of the classical cu...
research
∙
05/28/2020
Ecumenical modal logic
The discussion about how to put together Gentzen's systems for classical...
research
∙
06/27/2019
A Game Model for Proofs with Costs
We look at substructural calculi from a game semantic point of view, gui...
research
∙
04/15/2019
The ILLTP Library for Intuitionistic Linear Logic
Benchmarking automated theorem proving (ATP) systems using standardized ...
research
∙
02/13/2018
Proof systems: from nestings to sequents and back
In this work, we explore proof theoretical connections between sequent, ...
research
∙
02/13/2018