arXiv subjects
Publications and source records attributed to Georges Hansoul.
We establish a new category equivalent to compact pospaces, and which extend the equivalence between compact Hausdorff spaces and Gleason spaces. As a corollary of this equivalence, we obtain in particular, that every compact pospace is the quotient of an f-space.
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too - so leading to completeness results. This motivates for an algebraic (in the sense of universal algebra) study of those relational structures that are subordinate algebras.
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map.
The paper is dedicated to the problem of adding a modality to the \Lukasiewicz many-valued logics in the purpose of obtaining completeness results for Kripke semantics. We define a class of modal many-valued logics and their corresponding Kripke models and modal many-valued algebras. Completeness results are considered through the construction of a canonical model. Completeness is obtained for modal finitely-valued logics but also for a modal many-valued system with an infinitary deduction rule. We introduce two classes of frames for the finitely-valued logics and show that they define two distinct classes of Kripke-complete logics.