Permutative Additives and Exponentials

DOI10.1007/978-3-540-75560-9_34MaRDI QIDQ3498487zbMATH OpenOpenAlexFDO

Authors Gabriele Pulcini

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_34

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Computer Science Logic
• A geometrical procedure for computing relaxation
• Non-commutative logic. I: The multiplicative fragment
• The permutative \(\lambda \)-calculus
• scientific article; zbMATH DE number 2185722

Cited in

(4)

• Computer Science Logic
• Expressing additives using multiplicatives and subexponentials
• A geometrical procedure for computing relaxation
• Two-dimensional proof-structures and the exchange rule

This page was built for publication: Permutative Additives and Exponentials

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