Provable formulas

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Link to Non provable formulas.)
(Factorizations: Link to the lattice of exponential modalities added.)
Line 12: Line 12:
   
 
In many of the above cases the [[Non provable formulas|converse implication does not hold]].
 
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]].

Revision as of 12:16, 1 September 2012

This page is a stub and needs more content.


Distributivities

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

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

Factorizations

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

In many of the above cases the converse implication does not hold.

Exponentials

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

Personal tools