Все публикации

0:34:57

Introduction to Proof Theory II: Invertibility, Cut-Elimination, and Proof-search

0:18:07

A Framework for Intuitionistic Grammar Logics

0:38:51

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

0:58:39

Introduction to Proof Theory I: Sequent Calculus