1. Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic 58, 514–545 (1993)
2. Dunn, J.M.: StarandPerp: Two Treatments of Negation. In: Tomberlin, J. (ed.) Philosophical Perspectives (Philosophy of Language and Logic), vol. 7, pp. 331–357 (1993)
3. Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001)
4. Lecture Notes in Computer Science;I. Düntsch,2003
5. Düntsch, I., Orlowska, E., Radzikowska, A.M., Vakarelov, D.: Relational represen-tation theorems for some lattice-based structures. Journal of Relation Methods in Computer Science JoRMiCS vol 1, 132–160 (2004); ISSN 1439-2275