Search results

Recommendations

...inition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an opti

3 KB (456 words) - 14:06, 8 December 2009
Intuitionistic linear logic

{{Proposition|title=From <math>ILL</math> to <math>JLL</math>|

9 KB (1,520 words) - 08:31, 13 March 2017
Sequent calculus

{{Proposition|title=<math>\eta</math>-expansion| {{Proposition|

30 KB (4,776 words) - 14:46, 28 October 2013
Positive formula

{{Proposition|title=Positive connectives|

5 KB (860 words) - 17:49, 28 October 2013
GoI for MELL: partial isometries

{{Proposition| {{Proposition|

14 KB (2,448 words) - 11:03, 15 May 2010
Orthogonality relation

{{Proposition|For any sets <math>\alpha, \alpha'\subseteq A</math>:

1 KB (213 words) - 14:10, 30 September 2011
Negative formula

{{Proposition|title=Negative connectives|

2 KB (348 words) - 17:50, 28 October 2013
Regular formula

{{Proposition|title=Regular connectives|

2 KB (279 words) - 21:01, 28 October 2013