Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Castellan:2019:10.1007/978-3-030-17127-8_9,
author = {Castellan, S and Yoshida, N},
doi = {10.1007/978-3-030-17127-8_9},
pages = {150--168},
publisher = {Springer Verlag},
title = {Causality in Linear Logic: full completeness and injectivity (unit-free multiplicative-additive fragment)},
url = {http://dx.doi.org/10.1007/978-3-030-17127-8_9},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Commuting conversions of Linear Logic induce a notion of dependencybetween rules inside a proof derivation: a rule depends on a previous rule whenthey cannot be permuted using the conversions. We propose a new interpretation ofproofs of Linear Logic ascausal invariantswhich capturesexactlythis dependency.We represent causal invariants using game semantics based on general eventstructures, carving out, inside the model of [6], a submodel of causal invariants.This submodel supports an interpretation of unit-free Multiplicative AdditiveLinear Logic with MIX (MALL−) which is (1)fully complete: every element ofthe model is the denotation of a proof and (2)injective: equality in the modelcharacterises exactly commuting conversions of MALL−. This improves over thestandard fully complete game semantics model of MALL−.
AU  - Castellan,S
AU  - Yoshida,N
DO  - 10.1007/978-3-030-17127-8_9
EP  - 168
PB  - Springer Verlag
PY  - 2019///
SN  - 0302-9743
SP  - 150
TI  - Causality in Linear Logic: full completeness and injectivity (unit-free multiplicative-additive fragment)
UR  - http://dx.doi.org/10.1007/978-3-030-17127-8_9
UR  - http://hdl.handle.net/10044/1/67464
ER  -
Download