Lutz Straßburger

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 41

Top Venues

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Mehrnoosh Sadrzadeh, Lutz Straßburger
Lambek Calculus with Banged Atoms for Parasitic Gaps. WoLLIC (2024)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
A Simple Loopcheck for Intuitionistic K. WoLLIC (2024)
Lê Thành Dung Nguyên, Lutz Straßburger
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic. Log. Methods Comput. Sci. 19 (4) (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. LICS (2023)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. Art Sci. Eng. Program. 8 (1) (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. CoRR (2023)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. CoRR (2023)
Lê Thành Dung Nguyên, Lutz Straßburger
BV and Pomset Logic Are Not the Same. CSL (2022)
Matteo Acclavio, Lutz Straßburger, Renate A. Schmidt, Uli Sattler, Ruba Alassaf
Combinatorial Proofs for Constructive Modal Logic. AiML (2022)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. Log. Methods Comput. Sci. 18 (4) (2022)
Lê Thành Dung Nguyên, Lutz Straßburger
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic. CoRR (2022)
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Normalization Without Syntax. FSCD (2022)
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
A Graphical Proof Theory of Logical Time. FSCD (2022)
Giti Omidvar, Lutz Straßburger
Combinatorial Flows as Bicolored Atomic Flows. WoLLIC (2022)
Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
Taming Bounded Depth with Nested Sequents. AiML (2022)
Roman Kuznets, Sonia Marin, Lutz Straßburger
Justification Logic for Constructive Modal Logic. FLAP 8 (8) (2021)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. LICS (2021)
Sonia Marin, Marianela Morales, Lutz Straßburger
A fully labelled proof system for intuitionistic modal logics. J. Log. Comput. 31 (3) (2021)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. CoRR (2021)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Towards a Denotational Semantics for Proofs in Constructive Modal Logic. CoRR (2021)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Game Semantics for Constructive Modal Logic. TABLEAUX (2021)
Marianna Girlando, Lutz Straßburger
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description). IJCAR (2) (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. CoRR (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
Logic Beyond Formulas: A Proof System on Graphs. LICS (2020)
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Intuitionistic proofs without syntax. LICS (2019)
Matteo Acclavio, Lutz Straßburger
On Combinatorial Proofs for Modal Logic. TABLEAUX (2019)
Benjamin Ralph, Lutz Straßburger
Towards a Combinatorial Proof Theory. TABLEAUX (2019)
Lutz Straßburger
On the decision problem for MELL. Theor. Comput. Sci. 768 (2019)
Lutz Straßburger
Deep inference and expansion trees for second-order multiplicative linear logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Matteo Acclavio, Lutz Straßburger
On Combinatorial Proofs for Logics of Relevance and Entailment. WoLLIC (2019)
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Proof Nets for First-Order Additive Linear Logic. FSCD (2019)
Roman Kuznets, Lutz Straßburger
Maehara-style modal nested calculi. Arch. Math. Log. 58 (3-4) (2019)
Matteo Acclavio, Lutz Straßburger
From Syntactic Proofs to Combinatorial Proofs. IJCAR (2018)
Lutz Straßburger
Combinatorial Flows and Their Normalisation. FSCD (2017)
Sonia Marin, Lutz Straßburger
Proof Theory for Indexed Nested Sequents. TABLEAUX (2017)
Paola Bruscoli, Lutz Straßburger
On the Length of Medial-Switch-Mix Derivations. WoLLIC (2017)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Modular Focused Proof Systems for Intuitionistic Modal Logics. FSCD (2016)
Anupam Das, Lutz Straßburger
On linear rewriting systems for Boolean logic and some applications to proof theory. Log. Methods Comput. Sci. 12 (4) (2016)
Laurent Méhats, Lutz Straßburger
Non-crossing Tree Realizations of Ordered Degree Sequences. LACL (2016)
Willem Heijltjes, Lutz Straßburger
Proof nets and semi-star-autonomous categories. Math. Struct. Comput. Sci. 26 (5) (2016)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Focused and Synthetic Nested Sequents. FoSSaCS (2016)
Novak Novakovic, Lutz Straßburger
On the Power of Substitution in the Calculus of Structures. ACM Trans. Comput. Log. 16 (3) (2015)
Anupam Das, Lutz Straßburger
No complete linear term rewriting system for propositional logic. RTA (2015)
Ryuta Arisaka, Anupam Das, Lutz Straßburger
On Nested Sequents for Constructive Modal Logics. Log. Methods Comput. Sci. 11 (3) (2015)
Nicolas Guenot, Lutz Straßburger
Symmetric normalisation for intuitionistic logic. CSL-LICS (2014)
Sonia Marin, Lutz Straßburger
Label-free Modular Systems for Classical and Intuitionistic Modal Logics. Advances in Modal Logic (2014)
Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer
Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP (2014)
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics (2014)
Lutz Straßburger
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. FoSSaCS (2013)
Stefan Hetzl, Lutz Straßburger
Herbrand-Confluence. Log. Methods Comput. Sci. 9 (4) (2013)
Stefan Hetzl, Lutz Straßburger
Herbrand-Confluence for Cut Elimination in Classical First Order Logic. CSL (2012)
Lutz Straßburger
Extension without cut. Ann. Pure Appl. Log. 163 (12) (2012)
Lutz Straßburger, Alessio Guglielmi
A system of interaction and structure IV: The exponentials and decomposition. ACM Trans. Comput. Log. 12 (4) (2011)
Lutz Straßburger
Introduction to Proof Nets. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger
The Focused Calculus of Structures. CSL (2011)
Lutz Straßburger
From Deep Inference to Proof Nets via Cut Elimination. J. Log. Comput. 21 (4) (2011)
Alessio Guglielmi, Lutz Straßburger
A system of interaction and structure V: the exponentials and splitting. Math. Struct. Comput. Sci. 21 (3) (2011)
Lutz Straßburger
Some Remarks on Nested Sequent Systems for Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Lutz Straßburger
What Is the Problem with Proof Nets for Classical Logic? CiE (2010)
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger
Breaking Paths in Atomic Flows for Classical Logic. LICS (2010)
Lutz Straßburger, Alessio Guglielmi
A System of Interaction and Structure IV: The Exponentials and Decomposition CoRR (2009)
Lutz Straßburger
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. TLCA (2009)
Lutz Straßburger
A Kleene Theorem for Forest Languages. LATA (2009)
Kai Brünnler, Lutz Straßburger
Modular Sequent Systems for Modal Logic. TABLEAUX (2009)
Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
Expanding the Realm of Systematic Proof Theory. CSL (2009)
Lutz Straßburger
A Characterization of Medial as Rewriting Rule. RTA (2007)
Lutz Straßburger
Proof Nets and the Identity of Proofs CoRR (2006)
François Lamarche, Lutz Straßburger
From Proof Nets to the Free *-Autonomous Category. Log. Methods Comput. Sci. 2 (4) (2006)
François Lamarche, Lutz Straßburger
From Proof Nets to the Free *-Autonomous Category CoRR (2006)
François Lamarche, Lutz Straßburger
Naming Proofs in Classical Propositional Logic. TLCA (2005)
François Lamarche, Lutz Straßburger
Constructing Free Boolean Categories. LICS (2005)
Lutz Straßburger
On the Axiomatisation of Boolean Categories with and without Medial CoRR (2005)
Lutz Straßburger, François Lamarche
On Proof Nets for Multiplicative Linear Logic with Units. CSL (2004)
Lutz Straßburger
MELL in the calculus of structures. Theor. Comput. Sci. 309 (1-3) (2003)
Lutz Straßburger
System NEL is Undecidable. Electron. Notes Theor. Comput. Sci. 84 (2003)
Lutz Straßburger
A Local System for Linear Logic. LPAR (2002)
Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL. LPAR (2002)
Alessio Guglielmi, Lutz Straßburger
Non-commutativity and MELL in the Calculus of Structures. CSL (2001)

Lutz Straßburger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lutz Straßburger