Provable formulas

Revision as of 12:16, 1 September 2012

This page is a stub and needs more content.

$A\plus (B\with C) \limp (A\plus B)\with (A\plus C)$

$A\tens (B\parr C) \limp (A\tens B)\parr C$

$(A\with B)\plus (A\with C) \limp A\with (B\plus C)$

Provable formulas involving exponential connectives only provide us with the lattice of exponential modalities.

@@ Line 12: / Line 12: @@
 In many of the above cases the [[Non provable formulas|converse implication does not hold]].
+== Exponentials ==
+Provable formulas involving exponential connectives only provide us with the [[lattice of exponential modalities]].