Notes
1Ruth Barcan, ‘A Functional Calculus of First Order Based on Strict Implication’, Journal of Symbolic Logic (1946), 1–16.
2C. I. Lewis, ‘Notes on the Logic of Intension’, in Paul Henle et al., ed., Structure Method And Meaning (New York: The Liberal Arts Press, 1951), 25–34.