# Tag Info

## Hot answers tagged linear-logic

### Can linear logic be used to resolve unexpected hanging/surprise examination paradox?

It's been some years since I updated my comprehensive bibliography on the surprise examination or unexpected hanging paradox, but I'm pretty sure there's no published paper that tries to enlist linear ...
• 68.5k

### Can linear logic be used to resolve unexpected hanging/surprise examination paradox?

Here is why this won't work. Consider the following "paradox": I tell my class that "tomorrow, we will have a surprise exam. I promise that you will not know about this exam until you ...
• 21.2k
Accepted

### Linear logic and linearly distributive categories

Yes, Cockett and Seely's comment about proof theory is a reference to the theory/category adjunction. Each kind of theory corresponds to a kind of category, for instance: Theory Category simply ...
• 61k
Accepted

### Ordered logic is the internal language of which class of categories?

Yes, ordered logic is the internal language of non-symmetric monoidal categories. As with linear and nonlinear logic, if the ordered logic contains function-types then they correspond to internal-...
• 61k

### Embedding of classical into intuitionistic linear logic

There are actually many negative translations of classical linear logic into intuitionistic linear logic, just as there are many negative translations of classical logic into intuitionistic/minimal ...
• 3,103
Accepted

### Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic

This is (a piece of) Proposition 3.8 in Harold Schellinx, Some Syntactical Observations on Linear Logic, J. Logic Compututa., Vol. 1 No. 4, pp. 537-559, 1991. (pdf at oxford journals) His proof-...
• 3,103
Accepted

### Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

Your notation is a bit confusing because usually in linear logic and related systems $\top$ denotes the unit of additive conjuction (i.e., categorically, the terminal object), but then when you ...
• 1,306