Universal proof theory: semi-analytic rules and Craig interpolation
type: Item
instance of: scholarly article
title: Universal proof theory: semi-analytic rules and Craig interpolation
author: Amirhossein Akbar Tabatabai
author: Raheleh Jalali
published in: Annals of Pure and Applied Logic
publication date: 2024-10-07T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7921876
zbMATH Keywords: Craig interpolation
zbMATH Keywords: sequent calculi
zbMATH Keywords: substructural logics
zbMATH Keywords: linear logics
zbMATH Keywords: subexponential modalities
MaRDI profile type: MaRDI publication profile
cites work: Uniform Lyndon interpolation for basic non-normal modal logics
cites work: Q5884937
cites work: Interpolation in fuzzy logic
cites work: Display logic
cites work: A cut-free Gentzen-type system for the logic of the weak law of excluded middle
cites work: Bunched logics displayed
cites work: Deep sequent systems for modal logic
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: Bunched Hypersequent Calculi for Distributive Substructural Logics
cites work: Hypersequent and display calculi -- a unified perspective
cites work: Q4282602
cites work: Sequent-systems and groupoid models. I
cites work: Modal translations in substructural logics
cites work: Interpolation in linear logic and related systems
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Linear logic
cites work: Light linear logic
cites work: Q4842966
cites work: Gaggles, Gentzen and Galois: how to display your favourite substructural logic
cites work: An analysis of (linear) exponentials based on extended sequents
cites work: Subexponentials in non-commutative linear logic
cites work: The contraction rule and decision problems for logics without structural rules
cites work: Super-Łukasiewicz propositional logics
cites work: Q4163191
cites work: Maehara-style modal nested calculi
cites work: A uniform framework for substructural logics with modalities
cites work: Amalgamation and interpolation in normal modal logics
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Craig interpolation for semilinear substructural logics
cites work: Q4152522
cites work: Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
cites work: Q5457385
cites work: Specifying Proof Systems in Linear Logic with Subexponentials
cites work: Subexponential concurrent constraint programming
cites work: Q4694214
cites work: Q4699355
cites work: Logics without the contraction rule
cites work: Interpolation in fragments of classical linear logic
cites work: Q4495851
cites work: Q4499084
cites work: Failure of interpolation in relevant logics
cites work: Q3128959
DOI: 10.1016/J.APAL.2024.103509
description: scientific article; zbMATH DE number 7921876