Can you post your papers on linear logic? > Notions of minimun/maximum as well as related concepts can be expressed, too. Exactly. There are two types of mini

Can you post your papers on linear logic? > Notions of minimun/maximum as well as related concepts can be expressed, too. Exactly. There are two types of minimum and maximum, something that isn't expressible in any of the current foundations of mathematics. There is your minimum and maximum, and my minimum maximum. This is exactly what linear logic is about.