Permutative Additives and Exponentials

DOI10.1007/978-3-540-75560-9_34zbMATH Open1138.03045OpenAlexW1538853482MaRDI QIDQ3498487FDOQ3498487

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)