Contractions of closure systems

DOI10.1305/NDJFL/1040609298MaRDI QIDQ1333311zbMATH OpenOpenAlexFDO

Authors Stephen Pollard, Norman M. Martin

Publication date 13 September 1994

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040609298

zbMATH Keywords

closure systemsdeducibility relations

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Algebraic logic (03G99)

Recommendations

• Contractibility techniques as a closure concept
• Total separable closure and contractions
• Bases of closure systems
• Compactification and Closure
• Closure systems and closure hypergroups
• Closure operators in convergence spaces
• Closure properties of constraints
• scientific article; zbMATH DE number 6729990
• Systematization of a set of closure techniques
• Closure systems and their structure

Cited in

(5)

• Closure of the Manakov System
• The expressive truth conditions of two-valued logic
• Closure systems and their structure
• The expressive unary truth functions of n-valued logic
• Systematization of a set of closure techniques

This page was built for publication: Contractions of closure systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333311)