Výsledky vyhledávání - "Hansoul, Georges"

Report

Towards a Gleason Cover for Compact Pospaces

Autor: De Rudder, Laurent, Hansoul, Georges

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

Externí odkaz: http://arxiv.org/abs/2102.12158

Zobrazit plný text záznamu

Report

Subordination algebras in modal logic

Autor: De Rudder, Laurent, Hansoul, Georges, Stetenfeld, Valentine

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 leadi

Externí odkaz: http://arxiv.org/abs/2004.14919

Zobrazit plný text záznamu

Report

Extending maps to profinite completions in finitely generated quasivarieties

Autor: Hansoul, Georges, Teheux, Bruno

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

Externí odkaz: http://arxiv.org/abs/1310.2140

Zobrazit plný text záznamu

Report

Completeness results for many-valued \Lukasiewicz modal systems and relational semantics

Autor: Hansoul, Georges, Teheux, Bruno

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 mode

Externí odkaz: http://arxiv.org/abs/math/0612542

Zobrazit plný text záznamu