Universality of the closure space of filters in the algebra of all subsets
From MaRDI portal
Publication:1100463
DOI10.1007/BF00370806zbMath0641.03038MaRDI QIDQ1100463
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
closure operatorfiltersclosure spaceconsequence operator of classical propositional logicgeneralized Alexandroff cube
Logical aspects of lattices and related structures (03G10) Topological spaces and generalizations (closure spaces, etc.) (54A05) General logic (03B99) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (9)
On decidable consequence operators ⋮ Retracts of the closure space of filters in the lattice of all subsets ⋮ Disjunctions in closure spaces ⋮ Galois structures ⋮ Generalization of Scott's formula for retractions from generalized Alexandroff's cube ⋮ On a problem of P(\(\alpha\) ,\(\delta\) ,\({\mathfrak n})\) concerning generalized Alexandroff's cube ⋮ A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames ⋮ Some further results on pointfree convex geometry ⋮ Closure functions and general iterates as reflectors
Cites Work
This page was built for publication: Universality of the closure space of filters in the algebra of all subsets