This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...

Propounding a general categorical framework for the extension of dualities, we present new proof de Vries Duality Theorem category KHaus compact Hausdorff spaces and their continuous maps, as an restricted Stone duality. Then, applying dualization to duality, give alternative duality Tych Tychonoff that was provided by Bezhanishvili, Morandi Olberding. In process doing so, obtain theorems both ...

We apply Stone duality and model theory to study the structure theory of free pro-aperiodic monoids. Stone duality implies that elements of the free pro-aperiodic monoid may be viewed as elementary equivalence classes of pseudofinite words. Model theory provides us with saturated words in each such class, i.e., words in which all possible factorizations are realized. We give several application...

We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X . The propositional logic used to reason about state spaces from X is modelled by the Stone dual A of X (e.g. if X is Stone spaces then A is Boolean algebras and the propositional logic is the classical one). In order to obtain a m...

This report is the 12th delivrable of the FREC project. This report contains the description of a denotational semantics for λY calculus that captures precisely weak Monadic Second Order Logic on the Böhm trees defined by λY -terms. Exploiting Stone duality we have been able to turn properties expressed by those models into an inference system. Moreover we exploited internal dualities of the mo...

Generalizing Duality Theorem of V. V. Fedorchuk [11], we prove Stone-type duality theorems for the following four categories: all of them have as objects the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of all c...