Consequences, consistency and independence in Boolean algebras

DOI10.1305/NDJFL/1093883339zbMath0423.03057OpenAlexW1986680211MaRDI QIDQ1134154

Frank Markham Brown, Sergiu Rudeanu

Publication date: 1981

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

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

zbMATH Keywords

consistencyBoolean functionsclosure operatorfunctional independenceconsequences

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Logical aspects of Boolean algebras (03G05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (3)

Around the Hosszú-Gluskin theorem for \(n\)-ary groups. ⋮ Explicating logical independence ⋮ Boolean transformations with unique fixed points

This page was built for publication: Consequences, consistency and independence in Boolean algebras