This paper is a continuation of investigations on Galois connections from [1], [3], [10]. It is a continuation of [2]. We have shown many results that link properties of a given closure space with that of the dual space. For example: for every -disjunctive closure space X the dual closure space is topological iff the base of X generated by this dual space consists of the -prime sets in X (Theorem 2). Moreover the characterizations of the satisfiability relation for classical (...) logic are shown. Roughly speaking our main result here is the following: a satisfiability relation in a logic L with, a countable language is a fragment of the classical one iff the compactness theorem for L holds (Theorems 3–8). (shrink)

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).

In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If =0 or = or , then a closure space X is an absolute extensor for the category of , -closure spaces iff a contraction of X is the closure space of all , -filters in an , -semidistributive lattice.In the case when = and =, this theorem becomes Scott's theorem.

Closure spaces are generalizations of topological spaces, in which the Intersection of two open sets need not be open. The considered logic is related to closure spaces just as the standard logic S4 to topological ones. After describing basic properties of the logic we consider problems of representation of Lindenbaum algebras with some uncountable sets of infinite joins and meets, a notion of equality and a meaning of quantifiers. Results are extended onto the standard logic S4 and they are valid (...) also for some other standard modal logics. (shrink)