10 votes

What would you do with a new model of linear logic?

The first thing I'd do with a new model is to see how it relates to things I already know. For example, how does it relate to game semantics? What happens if I add weakening and contraction to the ...
Andreas Blass's user avatar
7 votes
Accepted

What would you do with a new model of linear logic?

Linear logic is very valuable in the theory of programming languages, so one way of looking at your question is to see what value these new models have in terms of programming languages. Most of the ...
Damiano Mazza's user avatar
2 votes

What would you do with a new model of linear logic?

The previous answers talk a lot about syntax and the computer science view. You can also start from the model and say: "Linear logic is a syntax for this model. You can talk about this model ...
Jean-Baptiste Vienney's user avatar
1 vote

Semiring axioms which almost implement inverse, searching for domains other than lambda calculus

This is a sort of strained example but there is certain resemblance to differential operators: Let $i=0\dots p-2$ and $\mathbb F_p[x_0,\dots x_{p-2}]$ the algebra of polynomials over a finite field. ...
Dmitrii Korshunov's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible