- Full text PDF available (3)
- This year (0)
- Last 5 years (2)
- Last 10 years (4)
Journals and Conferences
Birkhoff’s completeness theorem of equational logic asserts the coincidence of the model-theoretic and proof-theoretic consequence relations. Goguen and Meseguer, giving a sound and adequate system of inference rules for finitary many-sorted equational deduction, generalized the completeness theorem of Birkhoff to the completeness of finitary many-sorted… (More)
The Dominican Republic and Haiti share the island of Hispaniola and are broadly similar in terms of geography and historical institutions, yet their growth performance has diverged remarkably. The countries had the same per capita real GDP in 1960 but, by 2005, the Dominican Republic’s per capita real GDP had tripled whereas that of Haiti had halved.… (More)
Received 30 January 2008; revised 7 July 2008 In memory of Professor Tsuyoshi Fujiwara (1923–2006) Primary: 03C05, 03F25, 08A68, 08A40, 18A23, 18C10, 18D05; Secondary: 03C95, 68Q65.