Disjunctions in closure spaces (Q1100462)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Disjunctions in closure spaces |
scientific article; zbMATH DE number 4043839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Disjunctions in closure spaces |
scientific article; zbMATH DE number 4043839 |
Statements
Disjunctions in closure spaces (English)
0 references
1985
0 references
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.
0 references
closure spaces
0 references
Q-embeddings preserving disjunctions
0 references
consequence operation of classical propositional logic
0 references
