Contractions of Closure Systems
Norman M. Martin and Stephen Pollard
Source: Notre Dame J. Formal Logic Volume 35, Number 1
(1994), 108-115.
Abstract
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.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040609298
Mathematical Reviews number (MathSciNet): MR1271702
Digital Object Identifier: doi:10.1305/ndjfl/1040609298
Zentralblatt MATH identifier: 0804.06004
Notre Dame Journal of Formal Logic