Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-30124-0_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Cyclic Proofs for Linear Temporal Logic

English

On Multiplicative Linear Logic, Modality and Quantum Circuits

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2012English

Strongly Multiplicative and 3-Multiplicative Linear Secret Sharing Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Inequalities Characterizing Linear-Multiplicative Functionals

Journal of Function Spaces
Analysis
2015English

Linear Correlations of Multiplicative Functions

Proceedings of the London Mathematical Society
Mathematics
2020English

Multiplicative Perturbations of Linear Volterra Equations

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1993English

Inner Approximation Algorithm for Generalized Linear Multiplicative Programming Problems

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2018English

Function Theory and Multiplicative Linear Functionals

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1965English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy