No. |
Title |
Author |
Year |
---|

1 |
A Graphical Proof Theory of Logical Time |
Acclavio, Matteo et al. |
2022 |

2 |
BV and Pomset Logic Are Not the Same |
Nguyễn, Lê Thành Dũng (Tito) et al. |
2022 |

3 |
Normalization Without Syntax |
Heijltjes, Willem B. et al. |
2022 |

4 |
Proof Nets for First-Order Additive Linear Logic |
Heijltjes, Willem B. et al. |
2019 |

5 |
Combinatorial Flows and Their Normalisation |
Straßburger, Lutz |
2017 |

6 |
Modular Focused Proof Systems for Intuitionistic Modal Logics |
Chaudhuri, Kaustuv et al. |
2016 |

7 |
No complete linear term rewriting system for propositional logic |
Das, Anupam et al. |
2015 |

8 |
Herbrand-Confluence for Cut Elimination in Classical First Order Logic |
Hetzl, Stefan et al. |
2012 |

9 |
The Focused Calculus of Structures |
Chaudhuri, Kaustuv et al. |
2011 |