Notre Dame Journal of Formal Logic

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
Primary Subjects: 03B22
Secondary Subjects: 06A15
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


2013 © University of Notre Dame

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

Turn MathJax Off
What is MathJax?