, 1987, 'An approach to intensional semantics', Synthese 73 (3), 479-496.
with Giuntini, R. , 2000a, 'Paraconsistent ideas in quantum logic', Synthese 125 (1-2), 55-68.