Exchange rules

DOI10.2307/2695028MaRDI QIDQ2747701zbMATH OpenOpenAlexFDO

Authors Mario Piazza

Publication date 14 July 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2695028

zbMATH Keywords

cut eliminationlogic without structural rulesnoncommutative linear logic with exponentialssaturated formulassequent calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On decomposable exchange rules
• On the manipulability of efficient exchange rules
• Exchange systems
• scientific article; zbMATH DE number 3896009
• Interest rate rules for fixed exchange rate regimes
• Exchange and optimality
• Strategy-Proof Exchange
• Stock trading rules under a switchable market

Cites work

• Decision problems for propositional linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Saturated formulas in full linear logic

Cited in

(1)

• Adding logic to the toolbox of molecular biology

This page was built for publication: Exchange rules

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