Disjunctions in closure spaces

DOI10.1007/BF00370807MaRDI QIDQ1100462zbMATH OpenFDO

Authors Andrzej Jankowski

Publication date 1985

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370807

zbMATH Keywords

closure spacesconsequence operation of classical propositional logicQ-embeddings preserving disjunctions

Mathematics Subject Classification ID

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

Review text

This paper is the continuation of the author's investigations on closure spaces [Stud. Logica 43, 341-351 (1984; Zbl 0587.03046)]. The main result presented in the paper gives a characterization of closure spaces with \(<\alpha,\delta,Q>\)-regular bases in terms of Q-embeddings preserving disjunctions. This result provides a tool for the characterization of closure spaces embeddable into the closure space defined by the consequence operation of classical propositional logic.

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

• A conjunction in closure spaces
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• 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)

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

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)