Interpolation in linear logic and related systems

From MaRDI portal

Publication:6636617

Jump to:navigation, search

DOI10.1145/3680284MaRDI QIDQ6636617

Simon Santschi, Wesley Fussner

Publication date: 12 November 2024

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

zbMATH Keywords

linear logic substructural logics residuated lattices amalgamation property interpolation property substructural modal logic

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6636617&oldid=40208792"