Contractions of Closure Systems

&
Notre Dame Journal of Formal Logic 35 (1):108-115 (1994)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040609298

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):111-117.
Norman M. Martin and Stephen Pollard. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp. [REVIEW]Stephen L. Bloom - 1997 - Journal of Symbolic Logic 62 (2):685-686.
Some elementary closure properties of $n$-cylinders.M. B. Thuraisingham - 1983 - Notre Dame Journal of Formal Logic 24 (2):242-254.
Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.
From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.
Complexity and “Closure to Efficient Cause”.Anthony Chemero & Michael T. Turvey - unknown
Antifoundation and Transitive Closure in the System of Zermelo.Olivier Esser & Roland Hinnion - 1999 - Notre Dame Journal of Formal Logic 40 (2):197-205.
Binary closure-algebraic operations that are functionally complete.Gerald J. Massey - 1970 - Notre Dame Journal of Formal Logic 11 (3):340-342.
Finite axiomatizability and theories with trivial algebraic closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.

Analytics

Added to PP
2010-08-24

Downloads
29 (#774,799)

6 months
9 (#485,111)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Expressive Truth Conditions of Two-Valued Logic.Stephen Pollard - 2002 - Notre Dame Journal of Formal Logic 43 (4):221-230.
The Expressive Unary Truth Functions of n -valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.

Add more citations

References found in this work

No references found.

Add more references