"1904Z"^^ . "Meredith, Carew"@en . "1976-03-31Z"^^ . "Carew Arthur Meredith (generally \"C. A. Meredith\" on publications) (July 28, 1904 \u2013 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 \u0141ukasiewicz) 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."@en . "1904-07-28Z"^^ . "Irish mathematician" . "1976Z"^^ .