Informational interpretation of substructural propositional logics (Q1322438): Difference between revisions

The paper investigates a number of substructural propositional logics, in particular substructural subsystems of David Nelson's constructive propositional logics \(N^ -\) and \(N\). These systems are shown to be complete w.r.t. models based on semilattice-ordered monoids \(\langle I,\cdot,\cap,1\rangle\). It is argued that semilattice-ordered monoids admit the following `informational' interpretation: (i) \(I\) is a set of information pieces, (ii) \(\cdot\) is the addition of information pieces, (iii) \(\cap\) is the intersection of information pieces, (iv) 1 is the initial, ideally the empty piece of information.