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)
Duality for κ-additive complete atomic modal algebras
Yoshihito Tanaka
ALGEBRA UNIVERSALIS (2021)
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
Matteo Tesi et al.
JOURNAL OF LOGIC AND COMPUTATION (2021)
Glivenko sequent classes in the light of structural proof theory
Sara Negri
ARCHIVE FOR MATHEMATICAL LOGIC (2016)
Glivenko sequent classes in the light of structural proof theory
Sara Negri
ARCHIVE FOR MATHEMATICAL LOGIC (2016)
A cut-free sequent system for Grzegorczyk logic, with an application to the Godel-McKinsey-Tarski embedding
Roy Dyckhoff et al.
JOURNAL OF LOGIC AND COMPUTATION (2016)
Proof analysis in intermediate logics
Roy Dyckhoff et al.
ARCHIVE FOR MATHEMATICAL LOGIC (2012)
Does the deduction theorem fail for modal logic?
Raul Hakli et al.
SYNTHESE (2012)