Disjunctions in closure spaces

DOI10.1007/BF00370807MaRDI QIDQ1100462zbMATH OpenFDO

Authors Andrzej Jankowski

Publication date 1985

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

closure spacesconsequence operation of classical propositional logicQ-embeddings preserving disjunctions

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Logical aspects of lattices and related structures (03G10) General logic (03B99)

Recommendations

• A conjunction in closure spaces
• Universality of the closure space of filters in the algebra of all subsets
• scientific article; zbMATH DE number 936267
• Connectedness and separation in the category of closure spaces
• The basic properties of the reasoning closure subspaces and the operations of their meets and joins

Cites work

• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A conjunction in closure spaces
• Notes on the Rasiowa-Sikorski lemma
• Retracts of the closure space of filters in the lattice of all subsets
• Universality of the closure space of filters in the algebra of all subsets

Cited in

(9)

• On decidable consequence operators
• Disjunctive systems and L-Domains
• A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames
• Some further results on pointfree convex geometry
• The dimension of the negation of transitive closure
• The disjunctive procedure and blocker duality
• Sequential discreteness and clopen-I-Boolean classes
• A conjunction in closure spaces
• Retracts of the closure space of filters in the lattice of all subsets

This page was built for publication: Disjunctions in closure spaces

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