Non provable formulas
From LLWiki
(Difference between revisions)
(First list of non provable formulas.) |
(Added some exponential cases (in relation with the Lattice of exponential modalities)) |
||
| Line 6: | Line 6: | ||
<math>(A\tens B)\parr C \not\limp A\tens (B\parr C)</math> |
<math>(A\tens B)\parr C \not\limp A\tens (B\parr C)</math> |
||
| + | |||
| + | <math>A \not\limp \oc{A}</math> |
||
| + | |||
| + | <math>\oc{\wn{\oc{A}}} \not\limp A</math> |
||
| + | |||
| + | <math>\oc{\wn{\oc{A}}} \not\limp \oc{A}</math> |
||
| + | |||
| + | <math>\oc{\wn{A}} \not\limp \wn{\oc{A}}</math> |
||
| + | |||
| + | <math>\wn{\oc{A}} \not\limp \oc{\wn{A}}</math> |
||
Latest revision as of 16:21, 31 August 2012
This page is a stub and needs more content.
