Convergences in perfect BL-algebras

The aim of the paper is to investigate some concepts of convergence in the class of perfect BL-algebras. Similarity convergence was developed by G. Georgescu and A. Popescu in the case of the residuated lattices, while the convergence with a fixed regulator was studied by Cernák for lattice-ordered groups and MV-algebras and by the author for residuated lattices. In this paper we study the similarity convergence and the convergence with a fixed regulator for the perfect BL-algebras. The main result is the construction of Cauchy completion of a perfect BL-algebra.Peer Reviewe

Categories of Residuated Lattices

We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on extended Priestley duality in which the ternary relation dualizing a residuated multiplication may be viewed as the graph of a partial function. We also present a new Esakia-like duality for Sugihara monoids in the spirit of Dunn\u27s binary Kripke-style semantics for the relevance logic R-mingle

An Abstract Approach to Consequence Relations

We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariably aggregated via set-theoretical union. Our approach is more general in that non-idempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. In their abstract form, thus, deductive relations are defined as additional compatible preorderings over certain partially ordered monoids. We investigate these relations using categorical methods, and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic

Structural and universal completeness in algebra and logic

In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively universally complete, and passively structurally complete. We apply these general results to varieties of bounded lattices and to quasivarieties related to substructural logics. In particular we show that a substructural logic satisfying weakening is passively structurally complete if and only if every classical contradiction is explosive in it. Moreover, we fully characterize the passively structurally complete varieties of MTL-algebras, i.e., bounded commutative integral residuated lattices generated by chains.Comment: This is a preprin

Conjuntos construibles en modelos valuados en retículos

We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. We present two distinct constructions of the constructable universe: L B and L B , and prove that the they are isomorphic to V (von Neumann universe) and L (Gödel’s constructible universe), respectively. Secondly, we generalize Fitting’s work on Intuitionistic Kripke models of Set Theory using Ono and Komori’s Residuated Kripke models. Based on these models, we provide a general- ization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructable sets in Modal Residuated Logic and discuss some aspects of it.Investigamos diferentes construcciones de la teoría de conjuntos en Lógica Residual basados en el trabajo de Fitting sobre los modelos intuicionistas de Kripke de la Teoría de Conjuntos. En primer lugar, consideramos conjuntos construibles dentro de modelos valuados de la Teoría de Conjuntos. Presentamos dos construcciones distintas del universo construible: L B y L B , y demostramos que son isomorfos a V (universo von Neumann) y L (universo construible de Gödel), respectivamente. En segundo lugar, generalizamos el trabajo de Fitting sobre los modelos intuicionistas de Kripke de la teoría de conjuntos utilizando los modelos residuados de Kripke de Ono y Komori. Con base en estos modelos, proporcionamos una generalización de la jerarquía de von Neumann en el contexto de la Lógica Modal Residuada y demostramos una traducción de fórmulas entre ella y un modelo Heyting valuado adecuado. También proponemos una noción de universo de conjuntos construibles en Lógica Modal Residuada y discutimos algunos aspectos de la misma. (Texto tomado de la fuente)MaestríaMagíster en Ciencias - MatemáticasLógica matemática, teoría de conjunto

Spectral topologies of dually residuated lattice-ordered monoids

summary:Dually residuated lattice-ordered monoids ($DR\ell$-monoids for short) generalize lattice-ordered groups and include for instance also $GMV$-algebras (pseudo $MV$-algebras), a non-commutative extension of $MV$-algebras. In the present paper, the spectral topology of proper prime ideals is introduced and studied

Tropical varieties, maps and gossip

Tropical geometry is a relatively new field of mathematics that studies the tropicalization map: a map that assigns a certain type of polyhedral complex, called a tropical variety, to an embedded algebraic variety. In a sense, it translates algebraic geometric statements into combinatorial ones. An interesting feature of tropical geometry is that there does not exist a good notion of morphism, or map, between tropical varieties that makes the tropicalization map functorial. The main part of this thesis studies maps between different classes of tropical varieties: tropical linear spaces and tropicalizations of embedded unirational varieties. The first chapter is a concise introduction to tropical geometry. It collects and proves the main theorems. None of these results are new. The second chapter deals with tropicalizations of embedded unirational varieties. We give sufficient conditions on such varieties for there to exist a (not necessarily injective) parametrization whose naive tropicalization is surjective onto the associated tropical variety. The third chapter gives an overview of the algebra related to tropical linear spaces. Where fields and vector spaces are the central objects in linear algebra, so are semifields and modules over semifields central to tropical linear algebra and the study of tropical linear spaces. Most results in this chapter are known in some form, but scattered among the available literature. The main purpose of this chapter is to collect these results and to determine the algebraic conditions that suffice to give linear algebra over the semifield a familiar feel. For example, under which conditions are varieties cut out by linear polynomials closed under addition and scalar multiplication? The fourth chapter comprises the biggest part of the thesis. The techniques used are a combination of tropical linear algebra and matroid theory. Central objects are the valuated matroids introduced by Andreas Dress and Walter Wenzl. Among other things the chapter contains a classification of functions on a tropical linear space whose cycles are tropical linear subspaces, extending an old result on elementary extensions of matroids by Henry Crapo. It uses Mikhalkin’s concept of a tropical modification to define the morphisms in a category whose objects are all tropical linear spaces. Finally, we determine the structure of an open submonoid of the morphisms from affine 2-space to itself as a polyhedral complex. Finally, the fifth and last chapter is only indirectly related to maps. It studies a certain monoid contained in the tropicalization of the orthogonal group: the monoid that is generated by the distance matrices under tropical matrix multiplication (i.e. where addition is replaced by minimum, and multiplication by addition). This monoid generalizes a monoid that underlies the well-known gossip problem, to a setting where information is transmitted only with a certain degree accuracy. We determine this so-called gossip monoid for matrices up to size 4, and prove that in general it is a polyhedral monoid of dimension equal to that of the orthogonal group

Fuzzy Sets, Fuzzy Logic and Their Applications

The present book contains 20 articles collected from amongst the 53 total submitted manuscripts for the Special Issue “Fuzzy Sets, Fuzzy Loigic and Their Applications” of the MDPI journal Mathematics. The articles, which appear in the book in the series in which they were accepted, published in Volumes 7 (2019) and 8 (2020) of the journal, cover a wide range of topics connected to the theory and applications of fuzzy systems and their extensions and generalizations. This range includes, among others, management of the uncertainty in a fuzzy environment; fuzzy assessment methods of human-machine performance; fuzzy graphs; fuzzy topological and convergence spaces; bipolar fuzzy relations; type-2 fuzzy; and intuitionistic, interval-valued, complex, picture, and Pythagorean fuzzy sets, soft sets and algebras, etc. The applications presented are oriented to finance, fuzzy analytic hierarchy, green supply chain industries, smart health practice, and hotel selection. This wide range of topics makes the book interesting for all those working in the wider area of Fuzzy sets and systems and of fuzzy logic and for those who have the proper mathematical background who wish to become familiar with recent advances in fuzzy mathematics, which has entered to almost all sectors of human life and activity

Bisimulations for Kripke models of Fuzzy Multimodal Logics

The main objective of the dissertation is to provide a detailed study of several different types of simulations and bisimulations for Kripke models of fuzzy multimodal logics. Two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) are presented hereby. For each type of simulation and bisimulation, an algorithm is created to test the existence of the simulation or bisimulation and, if it exists, the algorithm computes the greatest one. The dissertation presents the application of bisimulations in the state reduction of fuzzy Kripke models, while preserving their semantic properties. Next, weak simulations and bisimulations were considered and the Hennessy-Milner property was examined. Finally, an algorithm was created to compute weak simulations and bisimulations for fuzzy Kripke models over locally finite algebras