Contractions of Closure Systems
Norman M. Martin, Stephen B Pollard · Notre Dame Journal of Formal Logic · 1994
This essay shows that some recent work by George Weaver can be reformulated in an especially perspicuous way within the theory of closure systems. Closure theoretic generalizations of some theorems of Robert Goldblatt are presented. And, more generally, the relation between closure systems and the deducibility relations of Goldblatt is explored.