Multiplicative Additive Linear Logic (MALL) is the fragment of linear logic consisting of
Because of the presence of , MLL is a fragment of classical linear logic.
Please expand.
Abramsky-Melliès concurrent games are fully complete for MALL [Abramsky and Melliès 1999].
Please expand.
Abramsky, S., and P.-A. Melliès. 1999. ‘Concurrent Games and Full Completeness’. In Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 431–42. IEEE Computer Society. https://doi.org/10.1109/LICS.1999.782638.
@inproceedings{abramsky_1999,
title = {Concurrent games and full completeness},
doi = {10.1109/LICS.1999.782638},
booktitle = {Proceedings. 14th {Symposium} on {Logic} in {Computer} {Science} ({Cat}. {No}. {PR00158})},
publisher = {IEEE Computer Society},
author = {Abramsky, S. and Melli\`{e}s, P.-A.},
year = {1999},
pages = {431--442}
}