In memoriam Carew Arthur Meredith (1904-1976)
From MaRDI portal
Publication:1237711
DOI10.1305/ndjfl/1093888116zbMath0357.01045OpenAlexW1972145536MaRDI QIDQ1237711
Publication date: 1977
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888116
Related Items (7)
Meredith, Prior, and the history of possible worlds semantics ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ A (machine-oriented) logic based on pattern matching ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ Condensed detachment as a rule of inference ⋮ The genesis of possible worlds semantics
This page was built for publication: In memoriam Carew Arthur Meredith (1904-1976)
