Irish mathematician (1904–1976)
C. A. Meredith
Born (1904-06-28 ) 28 June 1904Died 31 March 1976(1976-03-31) (aged 71) Nationality Irish Education Trinity College, Cambridge Alma mater Trinity College, Cambridge Known for condensed detachment Scientific career Fields Logic, Mathematics Institutions Trinity College Dublin
Carew Arthur Meredith (28 July 1904 – 31 March 1976), usually cited as C. A. Meredith , was an influential Irish logician , who worked in Trinity College, Dublin from 1943 to 1964.[ 1] condensed detachment (inspired by the work of Łukasiewicz ) is influential in modern research.[ 2] [ 3] [ 4] [ 5] [ 6]
^ Meredith, David (October 1977). "In memoriam: Carew Arthur Meredith (1904—1976)" . Notre Dame Journal of Formal Logic . 18 (4): 513–516. doi :10.1305/ndjfl/1093888116 ISSN 0029-4527 . ^ Wernhard, Christoph; Bibel, Wolfgang (2021). "Learning from Łukasiewicz and Meredith: Investigations into proof structures". In Platzer, André; Sutcliffe, Geoff (eds.). Automated Deduction – CADE 28 – 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings . Lecture Notes in Computer Science. Vol. 12699. Springer. pp. 58–75. arXiv :2104.13645 doi :10.1007/978-3-030-79876-5_4 . ^ Kalman, J.A. (1983). "Condensed detachment as a rule of inference" . Studia Logica . 42 (4): 443–451. doi :10.1007/BF01371632 . JSTOR 20015133 . S2CID 121221548 . Retrieved 30 December 2021 . ^ McCune, William; Woa, Larry (2000). "Experiments in Automated Deduction with Condensed Detachment". The Collected Works of Larry Wos doi :10.1142/9789812813411_0053 . ISBN 9789810240011 . Retrieved 30 December 2021 . ^ Rybaříková, Zuzana; Hasle, Per (2018). "CA Meredith, AN Prior, and Possible Worlds" (PDF) . Logic and Philosophy of Time . 1 : 42–61. Retrieved 31 December 2021 . ^ Copeland, B. Jack (2006). "Meredith, Prior, and the history of possible worlds semantics" . Synthese . 150 (3): 373–397. doi :10.1007/s11229-005-5514-9 . S2CID 44556747 . Retrieved 31 December 2021 .