scientific article
From MaRDI portal
Publication:3819066
zbMath0667.03046MaRDI QIDQ3819066
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the \(\pi\)-calculus and linear logic, Interaction graphs: graphings, A correspondence between maximal abelian sub-algebras and linear logic fragments, A typed calculus based on a fragment of linear logic, A decision procedure revisited: Notes on direct logic, linear logic and its implementation, Decision problems for propositional linear logic, Bounded linear logic: A modular approach to polynomial-time computability, Linear logic, coherence and dinaturality, Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic, Non decomposable connectives of linear logic
