Authors: Dosen, K Petric, Z

Citation: K. Dosen et Z. Petric, Cartesian isomorphisms are symmetric monoidal: A justification of linear logic, J SYMB LOG, 64(1), 1999, pp. 227-242

Authors: Dosen, K

Citation: K. Dosen, Negation in the light of modal logic, APPL LOG S, 13, 1999, pp. 77-86