PARTIALLY ORDERED CONNECTIVES
Gabriel Sandu, Jouko Väänánen · Mathematical logic quarterly · 1992
Abstract We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.