Interpolation in linear logic and related systems

Cites Work

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

Cited In (1)

Universal proof theory: semi-analytic rules and Craig interpolation

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)