Lutz Straßburger

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