http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Talk%3APolarized_linear_logicTalk:Polarized linear logic - Revision history2026-04-12T07:33:16ZRevision history for this page on the wikiMediaWiki 1.19.20+dfsg-0+deb7u3http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Polarized_linear_logic&diff=532&oldid=prevOlivier Laurent: About the presentation of LLP with a stoup2011-10-05T08:25:09Z<p>About the presentation of LLP with a stoup</p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 08:25, 5 October 2011</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 6:</td>
<td colspan="2" class="diff-lineno">Line 6:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 08:24, 5 October 2011 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 08:24, 5 October 2011 (UTC)</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>== Stoup ==</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>I am not sure I like the presentation with a stoup. I prefer to see the ''at most one formula'' property as a lemma consequence of the definition of the rules.</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>But maybe I am too much a fundamentalist in this topic ...</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 08:25, 5 October 2011 (UTC)</div></td>
</tr>
</table>Olivier Laurenthttp://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Polarized_linear_logic&diff=531&oldid=prevOlivier Laurent: How to relate with the positive formula page2011-10-05T08:24:06Z<p>How to relate with the positive formula page</p>
<p><b>New page</b></p><div>== Positive and negative formula ==<br />
<br />
The notion of positive and negative formulas in polarized linear logic is a restriction of the [[positive formula|more general one]] from linear logic. The relation might have to be clarified.<br />
<br />
As mentioned in [[Talk:Positive_formula#Negative_formula|Talk:Positive_formula]], we should also decide how to deal with the two dual notions.<br />
<br />
[[User:Olivier Laurent|Olivier Laurent]] 08:24, 5 October 2011 (UTC)</div>Olivier Laurent