Contractions of closure systems

DOI10.1305/NDJFL/1040609298zbMath0804.06004OpenAlexW2059362200MaRDI QIDQ1333311

Norman M. Martin, Stephen Pollard

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

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

Related Items (2)

The expressive truth conditions of two-valued logic ⋮ The expressive unary truth functions of \(n\)-valued logic

This page was built for publication: Contractions of closure systems