The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem von Strassburger, Lutz

Volltext

On the decision problem for MELL von Strassburger, Lutz

Volltext

An Analytic Propositional Proof System on Graphs von Acclavio, Matteo, Horne, Ross, Straßburger, Lutz

Volltext

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics von Straßburger, Lutz

Volltext

A fully labelled proof system for intuitionistic modal logics von Marin, Sonia, Morales, Marianela, Straßburger, Lutz

Volltext

Maehara-style modal nested calculi von Kuznets, Roman, Straßburger, Lutz

Volltext

On linear rewriting systems for Boolean logic and some applications to proof theory von Das, Anupam, Straßburger, Lutz

Volltext

Extension without cut von Strassburger, Lutz

Volltext

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic von Nguyên, Lê Thành Dũng, Straßburger, Lutz

Volltext

Lambek Calculus with Banged Atoms for Parasitic Gaps von Sadrzadeh, Mehrnoosh, Straßburger, Lutz

Volltext

Deep inference and expansion trees for second-order multiplicative linear logic von Strassburger, Lutz

Volltext

Combinatorial Flows as Bicolored Atomic Flows von Omidvar, Giti, Straßburger, Lutz

Volltext

Proof Theory for Indexed Nested Sequents von Marin, Sonia, Straßburger, Lutz

Volltext

The problem of proof identity, and why computer scientists should care about Hilbert’s 24th problem von Straßburger, Lutz

Volltext

Expanding the Realm of Systematic Proof Theory von Ciabattoni, Agata, Straßburger, Lutz, Terui, Kazushige

Volltext

Proof nets and semi-star-autonomous categories von HEIJLTJES, WILLEM, STRAßBURGER, LUTZ

Volltext

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) von Girlando, Marianna, Straßburger, Lutz

Volltext

On Combinatorial Proofs for Modal Logic von Acclavio, Matteo, Straßburger, Lutz

Volltext

Game Semantics for Constructive Modal Logic von Acclavio, Matteo, Catta, Davide, Straßburger, Lutz

Volltext

From Syntactic Proofs to Combinatorial Proofs von Acclavio, Matteo, Straßburger, Lutz

Volltext