Interpolation in linear logic and related systems
type: Item
instance of: scholarly article
title: Interpolation in linear logic and related systems
DOI: 10.1145/3680284
author: Wesley Fussner
author: Simon Santschi
published in: ACM Transactions on Computational Logic
publication date: 2024-11-12T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7942535
zbMATH Keywords: interpolation property
zbMATH Keywords: amalgamation property
zbMATH Keywords: linear logic
zbMATH Keywords: substructural logics
zbMATH Keywords: residuated lattices
zbMATH Keywords: substructural modal logic
MaRDI profile type: MaRDI publication profile
cites work: Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
cites work: Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
cites work: Q4085699
cites work: The semantics and proof theory of linear logic
cites work: Algebraizable logics
cites work: Q4011710
cites work: Q3934450
cites work: Constructive Logic with Strong Negation as a Substructural Logic
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: Q4249028
cites work: One chain generated varieties of MV-algebras
cites work: Über injektive Moduln
cites work: Linear concurrent constraint programming: Operational and phase semantics
cites work: Q3185647
cites work: Poset products as relational models
cites work: Some modal and temporal translations of generalized basic logic
cites work: Categories of models of \(\mathbf{R}\)-mingle
cites work: Semiconic idempotent logic. I: Structure and local deduction theorems.
cites work: Transfer theorems for finitely subdirectly irreducible algebras
cites work: A topological approach to MTL-algebras
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
cites work: Linear logic
cites work: Linear Logic Properly Displayed
cites work: Metamathematics of fuzzy logic
cites work: Flat algebras and the translation of universal Horn logic to equational logic
cites work: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
cites work: Q3342632
cites work: Q4187817
cites work: Forum: A multiple-conclusion specification logic
cites work: Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
cites work: The finite model property for various fragments of intuitionistic linear logic
cites work: Interpolation in fragments of classical linear logic
cites work: Constructive logic with strong negation is a substructural logic. I
cites work: Q4495851
cites work: On McKenzie's method
description: scientific article; zbMATH DE number 7942535