Lutz Straßburger

Proceedings of the Advances in Modal Logic 10, 2014

2013

Herbrand-Confluence.

[BibT_eX]

[DOI]

Stefan Hetzl

Log. Methods Comput. Sci., 2013

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Extension without cut.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

Herbrand-Confluence for Cut Elimination in Classical First Order Logic.

[BibT_eX]

[DOI]

Stefan Hetzl

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

A system of interaction and structure IV: The exponentials and decomposition.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

A system of interaction and structure V: the exponentials and splitting.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

From Deep Inference to Proof Nets via Cut Elimination.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Introduction to Proof Nets.

[BibT_eX]

Proceedings of the TABLEAUX 2011, 2011

Some Remarks on Nested Sequent Systems for Modal Logics.

[BibT_eX]

Proceedings of the TABLEAUX 2011, 2011

The Focused Calculus of Structures.

[BibT_eX]

[DOI]

Kaustuv Chaudhuri

Nicolas Guenot

Proceedings of the Computer Science Logic, 2011

Towards a Theory of Proofs of Classical Logic.

[BibT_eX]

[DOI]

, 2011

2010

Breaking Paths in Atomic Flows for Classical Logic.

[BibT_eX]

[DOI]

Tom Gundersen

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

What Is the Problem with Proof Nets for Classical Logic?

[BibT_eX]

[DOI]

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Modular Sequent Systems for Modal Logic.

[BibT_eX]

[DOI]

Kai Brünnler

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

A Kleene Theorem for Forest Languages.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2009

Expanding the Realm of Systematic Proof Theory.

[BibT_eX]

[DOI]

Agata Ciabattoni

Kazushige Terui

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2007

A Characterization of Medial as Rewriting Rule.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

From Proof Nets to the Free *-Autonomous Category.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

Proof Nets and the Identity of Proofs

[BibT_eX]

[DOI]

CoRR, 2006

2005

On the Axiomatisation of Boolean Categories with and without Medial

[BibT_eX]

[DOI]

CoRR, 2005

Naming Proofs in Classical Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Constructing Free Boolean Categories.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

On Proof Nets for Multiplicative Linear Logic with Units.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Linear logic and noncommutativity in the calculus of structures.

[BibT_eX]

[DOI]

PhD thesis, 2003

MELL in the calculus of structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

System NEL is Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

A Local System for Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

A Non-commutative Extension of MELL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

2001

Non-commutativity and MELL in the Calculus of Structures.

[BibT_eX]

[DOI]