Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Carew_Arthur_Meredith comment "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.".