Linear Realisability over nets: multiplicatives (long version)

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case…