Disjunctions in closure spaces
From MaRDI portal
Publication:1100462
DOI10.1007/BF00370807zbMath0641.03037MaRDI QIDQ1100462
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
closure spacesconsequence operation of classical propositional logicQ-embeddings preserving disjunctions
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 (4)
On decidable consequence operators ⋮ Retracts of the closure space of filters in the lattice of all subsets ⋮ A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames ⋮ Some further results on pointfree convex geometry
Cites Work
This page was built for publication: Disjunctions in closure spaces