Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ragot, Adrien"'
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 generalise
Externí odkaz:
http://arxiv.org/abs/2411.17486
