Related papers: An analysis of the logic of Riesz Spaces with stro…
This paper begins the study of infinite-dimensional modules defined on bicomplex numbers. It generalizes a number of results obtained with finite-dimensional bicomplex modules. The central concept introduced is the one of a bicomplex…
MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class,…
We investigate the topology of the space of M\"obius conjugacy classes of degree $d$ rational maps on the Riemann sphere. We show that it is rationally acyclic and we compute its fundamental group. As a byproduct, we also obtain the ranks…
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
We characterize orthonormal bases, Riesz bases and frames which arise from the action of a countable discrete group $\Gamma$ on a single element $\psi$ of a given Hilbert space $\mathcal{H}$. As $\Gamma$ might not be abelian, this is done…
We present a coalgebraic framework for studying generalisations of dynamic modal logics such as PDL and game logic in which both the propositions and the semantic structures can take values in an algebra $\mathbf{A}$ of truth-degrees. More…
Strong convergence and convergence in probability were generalized to the setting of a Riesz space with conditional expectation operator, $T$, in [{{\sc Y. Azouzi, W.-C. Kuo, K. Ramdane, B. A. Watson}, {Convergence in Riesz spaces with…
For a finite dimensional vector space equipped with a $\mathbb C$-algebra structure, one can define rational maps using the algebraic structure. In this paper, we describe the growth of the degree sequences for this type of rational maps.
This paper systematically studies finite rank dimension groups, as well as finite dimensional ordered real vector spaces with Riesz interpolation. We provide an explicit description and classification of finite rank dimension groups, in the…
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, we continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is…
Large language models (LLMs) are deployed on increasingly complex tasks that require multi-step decision-making. Understanding their algorithmic reasoning abilities is therefore crucial. However, we lack a diagnostic benchmark for…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We classify the rational differential 1-forms with simple poles and simple zeros on the Riemann sphere according to their isotropy group; when the 1-form has exactly two poles the isotropy group is isomorphic to $\mathbb{C}^{*}$, namely…
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
In this paper we introduce the convex fragment of {\L}ukasiewicz Logic and discuss its possible applications in different learning schemes. Indeed, the provided theoretical results are highly general, because they can be exploited in any…
Enriched motivic $\mathcal A$-spaces are introduced and studied in this paper, where $\mathcal A$ is an additive category of correspondences. They are linear counterparts of motivic $\Gamma$-spaces. It is shown that rational special…
Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for continuous structures. The semantics of these logics can be…
Multimodal Small-to-Medium sized Language Models (MSLMs) have demonstrated strong capabilities in integrating visual and textual information but still face significant limitations in visual comprehension and mathematical reasoning,…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete…
Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is well suited for realising a universal logic reasoning approach. Universal logic reasoning…