http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Talk%3APositive_formula 2026-04-12T11:08:06Z Revision history for this page on the wiki MediaWiki 1.19.20+dfsg-0+deb7u3 http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Positive_formula&diff=217&oldid=prev 2009-03-14T13:31:14Z

<p>‎<span dir="auto"><span class="autocomment">Negative formula: </span> signature syntax</span></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 13:31, 14 March 2009</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>* integration inside the positive formula page and redirection?</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>* integration inside the positive formula page and redirection?</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 22:12, 8 March 2009 (UTC)</div></td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div><span class="diffchange diffchange-inline">-- </span>[[User:Olivier Laurent|Olivier Laurent]] 22:12, 8 March 2009 (UTC)</div></td> </tr> </table>

Olivier Laurent http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Positive_formula&diff=203&oldid=prev 2009-03-08T22:12:52Z

<p>Negative formula</p> <p><b>New page</b></p><div>== Negative formula ==<br /> <br /> How to deal with [[negative formula]]s and negative connectives?<br /> * stupid duplication of the page for positive ones?<br /> * definition by duality from positive and reuse of results given in the positive formula page?<br /> * integration inside the positive formula page and redirection?<br /> <br /> [[User:Olivier Laurent|Olivier Laurent]] 22:12, 8 March 2009 (UTC)</div>

Olivier Laurent