Finite model theory for partially ordered connectives - Sevenster, Merlijn; Tulenheimo, Tero (Inst. for Logic, Language and Computation, 2006)