http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Non_provable_formulas
Non provable formulas - Revision history
2026-04-12T07:33:47Z
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=Non_provable_formulas&diff=558&oldid=prev
Olivier Laurent: Added some exponential cases (in relation with the Lattice of exponential modalities)
2012-08-31T15:21:53Z
<p>Added some exponential cases (in relation with the <a href="/mediawiki/index.php/Lattice_of_exponential_modalities" title="Lattice of exponential modalities">Lattice of exponential modalities</a>)</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 15:21, 31 August 2012</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><math>(A\tens B)\parr C \not\limp A\tens (B\parr C)</math></div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div><math>(A\tens B)\parr C \not\limp A\tens (B\parr C)</math></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><math>A \not\limp \oc{A}</math></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><math>\oc{\wn{\oc{A}}} \not\limp A</math></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><math>\oc{\wn{\oc{A}}} \not\limp \oc{A}</math></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><math>\oc{\wn{A}} \not\limp \wn{\oc{A}}</math></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><math>\wn{\oc{A}} \not\limp \oc{\wn{A}}</math></div></td>
</tr>
</table>
Olivier Laurent
http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Non_provable_formulas&diff=549&oldid=prev
Olivier Laurent: First list of non provable formulas.
2012-04-19T18:49:35Z
<p>First list of non provable formulas.</p>
<p><b>New page</b></p><div>{{stub}}<br />
<br />
<math>A \with (B\plus C) \not\limp (A\with B)\plus (A\with C)</math><br />
<br />
<math>(A\plus B)\with (A\plus C) \not\limp A\plus (B\with C)</math><br />
<br />
<math>(A\tens B)\parr C \not\limp A\tens (B\parr C)</math></div>
Olivier Laurent