Author name cluster

Adrien Ragot

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

CSL Conference 2025 Conference Paper

Linear Realisability over Nets: Multiplicatives

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 (MLL). The novelty is the definition of cut elimination for generalised axioms. We prove that our model is adequate and complete both for MLL^✠ and MLL.

Details