Wendy MacCaull (maccaull)

Contributions to Philosophie.ch

Bibliography

Allwein, Gerard and MacCaull, Wendy. 2001. “A Kripke Semantics for the Logic of Gelfand Quantales.” Studia Logica: An International Journal for Symbolic Logic 68(1): 173–228.
MacCaull, Wendy. 1998. “Relational Semantics and a Relational Proof System for the Full Lambek Calculus.” The Journal of Symbolic Logic 63(2): 623–637.
MacCaull, Wendy and Orłowska, Ewa. 2002. “Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.” Studia Logica: An International Journal for Symbolic Logic 71(3): 389–414.