Carew Arthur Meredith (meredith-ca)

Contributions to Philosophie.ch

Bibliography

Lemmon, Edward John, Meredith, Carew Arthur, Meredith, David, Prior, Arthur Norman and Thomas, Ivo. 1969. “Calculi of Pure Implication.” in Philosophical Logic, edited by John W. Davis, D. T. Hockney, and W. Kent Wilson, pp. 215–250. Synthese Library n. 20. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-9614-0.
Meredith, Carew Arthur and Prior, Arthur Norman. 1996. “Interpretations of Different Modal Logics in the ‘Property Calculus’ .” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 133–134. Oxford: Oxford University Press.
Prior, Arthur Norman and Meredith, Carew Arthur. 1963. “Notes on the Axiomatics of the Propositional Calculus.” Notre Dame Journal of Formal Logic 4(3): 171–187.
Prior, Arthur Norman and Meredith, Carew Arthur. 1964. “Investigations into Implicational S5.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 10: 203–220.
Prior, Arthur Norman and Meredith, Carew Arthur. 1965. “Modal Logic with Functorial Variables and a Contingent Constant.” Notre Dame Journal of Formal Logic 6(2): 99–109.
Prior, Arthur Norman and Meredith, Carew Arthur. 1968. “Equational Logic.” Notre Dame Journal of Formal Logic 9: 212–226.