Dirk Roorda (roorda-d)

Contributi a Philosophie.ch

Bibliography

Roorda, Dirk. 1991. “Resource Logics: Proof-Theoretical Investigations.” PhD dissertation, Amsterdam: Faculty of Mathematics; Computer Science, University of Amsterdam.
Roorda, Dirk. 1992. “Lambek Calculus and Boolean Connectives: On the Road.” ots–wp–cl–92–004. Utrecht: Research Institute for Language; Speech, Rijksuniversiteit Utrecht.
Roorda, Dirk. 1993. “Dyadic Modalities and Lambek Calculus.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 215–253. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.