Related references
Note: Only part of the references are listed.From axioms to synthetic inference rules via focusing
Sonia Marin et al.
ANNALS OF PURE AND APPLIED LOGIC (2022)
Focused Proof-search in the Logic of Bunched Implications
Alexander Gheorghiu et al.
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021 (2021)
Algebraic proof theory for substructural logics: Cut-elimination and completions
Agata Ciabattoni et al.
ANNALS OF PURE AND APPLIED LOGIC (2012)
Tableaux and Resource Graphs for Separation Logic
Didier Galmiche et al.
JOURNAL OF LOGIC AND COMPUTATION (2010)
Focusing and polarization in linear, intuitionistic, and classical logics
Chuck Liang et al.
THEORETICAL COMPUTER SCIENCE (2009)
The semantics of BI and resource tableaux
D Galmiche et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2005)
Semantic labelled tableaux for propositional BI
D Galmiche et al.
JOURNAL OF LOGIC AND COMPUTATION (2003)
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
S Negri
ARCHIVE FOR MATHEMATICAL LOGIC (2003)
A proof-theoretic study of the correspondence of classical logic and modal logic
H Kushida et al.
JOURNAL OF SYMBOLIC LOGIC (2003)
On the semantics of classical disjunction
D Pym et al.
JOURNAL OF PURE AND APPLIED ALGEBRA (2001)
Efficient resource management for linear logic proof search
I Cervesato et al.
THEORETICAL COMPUTER SCIENCE (2000)
Internalizing labelled deduction
P Blackburn
JOURNAL OF LOGIC AND COMPUTATION (2000)