Carew Arthur Meredith

From Wikipedia, the free encyclopedia

Carew Arthur Meredith (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment (inspired by the work of Łukasiewicz) was under-appreciated in his own time, but is influential in modern research.

He also proved the shortest known axiomatic bases for a number of logic systems. His achievements in that area were unsurpassed until automated theorm provers in the last few years, which build on his work, proved some shorter ones for some systems and proved his shortest for others.

[edit] External links

• In Memoriam Carew Arthur Meredith. Notre Dame Journal of Formal Logic Volume 18, no. 4 (1977), 513–516, for quick details of his life and some of his work.