Interpolation in linear logic and related systems

DOI10.1145/3680284MaRDI QIDQ6636617zbMATH OpenFDO

Authors Wesley Fussner, Simon Santschi

Publication date 12 November 2024

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3680284

zbMATH Keywords

linear logicsubstructural logicsresiduated latticesamalgamation propertyinterpolation propertysubstructural modal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 3875359 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• A topological approach to MTL-algebras
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
• Categories of models of \(\mathbf{R}\)-mingle
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Constructive logic with strong negation as a substructural logic
• Constructive logic with strong negation is a substructural logic. I
• Flat algebras and the translation of universal Horn logic to equational logic
• Forum: A multiple-conclusion specification logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation in fragments of classical linear logic
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Linear Logic Properly Displayed
• Linear concurrent constraint programming: Operational and phase semantics
• Linear logic
• Metamathematics of fuzzy logic
• On McKenzie's method
• One chain generated varieties of MV-algebras
• Poset products as relational models
• Residuated lattices. An algebraic glimpse at substructural logics
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Some modal and temporal translations of generalized basic logic
• The finite model property for various fragments of intuitionistic linear logic
• The semantics and proof theory of linear logic
• Transfer theorems for finitely subdirectly irreducible algebras
• Über injektive Moduln

Cited in

(4)

• Interpolation in Hájek's basic logic
• An algebraic investigation of linear logic
• Universal proof theory: semi-analytic rules and Craig interpolation
• Amalgamation in semilinear residuated lattices

This page was built for publication: Interpolation in linear logic and related systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636617)