scientific article; zbMATH DE number 970628
From MaRDI portal
Publication:5688807
zbMath0864.03014MaRDI QIDQ5688807
Publication date: 16 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Power and Limits of Structural Display Rules ⋮ Linear Logic Properly Displayed ⋮ Logicality, double-line rules, and modalities ⋮ Syntactic Completeness of Proper Display Calculi ⋮ A Unified Display Proof Theory for Bunched Logic ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Multimodal linguistic inference ⋮ Bunched logics displayed ⋮ Disentangling structural connectives or life without display property ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ Proof analysis in intermediate logics ⋮ Craig Interpolation in Displayable Logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Semi De Morgan logic properly displayed ⋮ Display calculi and other modal calculi: a comparison ⋮ On Displaying Negative Modalities ⋮ Unnamed Item ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Expanding the Realm of Systematic Proof Theory ⋮ Proof analysis in modal logic
