We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between Priestley Spaces and bounded distributive lattices, but also the duality between limit cut complete MV-algebras and Stone MV-topological spaces (proved by the second author in a previous paper) which, on its turn, is an extension of classical Stone Duality.

Abstract We propose a point-free approach to MV-topological spaces in the wake of previous works on both classical and fuzzy topology. In order to do that, we introduce suitable frame-type structures and a class of fuzzy topological spaces that includes and suitably extends the one of MV-topological spaces. Then we show an adjoint situation between such structures, and restrict such an adjointness to a duality between the corresponding classes of ‘spatial frames’ and ‘sober spaces’. We also use neighbourhood systems to characterize sobriety in this context.

Large Vessel Occlusion is one of the most critical neurological emergencies in stroke care, requiring rapid and accurate diagnosis to optimize clinical outcomes. Automated detection tools have demonstrated the potential to significantly reduce treatment time, thereby improving patient prognosis. In this paper, we propose a novel two-stage deep learning approach for detecting large vessel occlusion and assessing its volume directly from computed tomography angiography. The first stage employs a two-dimensional convolutional neural network-based detector, built upon GravityNet, specifically adapted for single lesion detection with a novel pixel-based configuration. The second stage applies a three-dimensional false-positive reduction technique to refine predictions within the brain volume. Our method achieves 80% sensitivity at two false positives per case, demonstrating its robustness and effectiveness in detecting large vessel occlusions on computed tomography angiography.

The Encontro Brasileiro de Lógica (Brazilian Logic Meeting) is one of the most traditional academic events in Latin America, occurring approximately every two years in different cities across Brazil since 1979. In the last decades, the meeting has been gathering more than a hundred logicians from many parts of the world, meaning it welcomes people from many cultural and scientific backgrounds ranging from Philosophy to Computer Science. The week-long event is usually preceded by a Logic School aiming to qualify the logical education of undergraduate and graduate students. The EBL is a dynamic blend of plenary and parallel sessions, offering participants a rich and immersive experience that fosters knowledge exchange and interdisciplinary collaboration. The twentieth edition of the Encontro Brasileiro de Lógica (XX EBL) was held from 12 to 16 Spetember 2022, at the Institute of Mathematics and Statistics of the Universidade Federal da Bahia, in the beautiful city of Salvador da Bahia—one of the oldest Brazilian cities and the first capital of the nation. The meeting was initially expected to take place in 2021, but due to the COVID-19 pandemic, the Brazilian Logic Society postponed it to the subsequent year.

The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called 𝒬-module transforms, is defined. Such operators—that turn out to be precisely the homomorphisms between free objects in those categories—find concrete applications in two different branches of image processing, namely fuzzy image compression and mathematical morphology.

We define the Lukasiewicz Transform by mean of the partition of unity defined in [4] and semimodules over the semiring reducts of an MV-algebra. Then we describe the "Lukasiewicz Transform Based" (LTB) algorithm for image processing, showing some results of its application.