1904 – 1976
Carew Arthur Meredith (1904–1976) was an Irish logician best known for his contributions to propositional calculus and tense logic. Working alongside A.N. Prior, he helped formalize the logical treatment of time and future contingents, producing notably compact axiom systems for classical and modal logics.
Co-developed formal tense logic with A.N. Prior, including treatment of future contingencies
Discovered unusually short single axioms for classical propositional calculus
Contributed to the formalization of modal and temporal operators (P, F, H, G)
Challenged the validity of standard tense-logical inferences involving future contingents