Gerard Allwein (allwein)

Contributions to Philosophie.ch

Bibliography

Allwein, Gerard and Barwise, Jon K., eds. 1996. Logical Reasoning with Diagrams. Oxford: Oxford University Press.
Allwein, Gerard, Demir, Hilmi and Spike, Lee. 2004. “Logics for Classes of Boolean Monoids.” Journal of Logic, Language, and Information 13(3): 241–266.
Allwein, Gerard and Dunn, Michael J. 1993. “Kripke Models for Linear Logic.” The Journal of Symbolic Logic 58: 514–545.
Allwein, Gerard and Harrison, William L. 2010. “Partially-Ordered Modalities.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 1–21. London: King’s College Publications.
Allwein, Gerard and Harrison, William L. 2016. “Distributed Modal Logic.” in J. Michael Dunn on Information Based Logics, edited by Katalin Bimbó, pp. 331–362. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
Allwein, Gerard, Harrison, William L. and Andrews, David. 2014. “Simulation Logic.” Logic and Logical Philosophy 23(3): 277–299.
Allwein, Gerard, Harrison, William L. and Reynolds, Thomas. 2017. “Distributed Relation Logic.” Logic and Logical Philosophy 26(1): 19–61.
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.
Allwein, Gerard, Yang, Yingrui and Harrison, William L. 2011. “Qualitative Decision Theory via Channel Theory.” Logic and Logical Philosophy 20(1/2): 81–110.
Johnson, Steven D., Barwise, Jon K. and Allwein, Gerard. 1996. “Toward the Rigorous Use of Diagrams in Reasoning about Hardware.” in Logical Reasoning with Diagrams, edited by Gerard Allwein and Jon K. Barwise, pp. 201–223. Oxford: Oxford University Press.