Cost monadic logic extends monadic second-order logic with the ability to measure the cardinal of sets. In particular, it allows to decide problems related to boundedness questions. In this paper, we provide new decidability results allowing the systematic investigation of questions involving “relative boundedness”. The first contribution in this work is to introduce a suitable logic for such q...

Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...

in addition to exploring constructions and properties of limits and colimits in categories of topologicalalgebras, we study special subcategories of topological algebras and their properties. in particular, undercertain conditions, reflective subcategories when paired with topological structures give rise to reflectivesubcategories and epireflective subcategories give rise to epireflective subc...

in this paper we propose and construct fuzzy algebraic additive model, for the estimation of risk in various fields of human activities or nature’s behavior. though the proposed model is useful in a wide range of scientific fields, it was designed for to torrential risk evaluation in the area of river evros. clearly the model’s performance improves when the number of parameters and the actual d...

While the study of quantale-like structures goes back up to the 1930’s (notwithstanding that the term itself was introduced in [2] in connection with certain aspects of C∗-algebras), there has recently been much interest in quantales in a variety of contexts. The most important connection probably is with Girard’s linear logic. In particular, one can enunciate the following slogan: Quantales ar...

Computational monads offer a powerful way to parameterize functional specifications, but they give rise to exceedingly tedious simplifications to instantiate this “monadic” interpreter. We report on the use of partial evaluation to achieve the following instantiations automatically. • We derive equivalent formulations of the monadic λ-interpreter, based on equivalent specifications of monads fr...

Following the point-set lattice-theoretic (poslat) approach to topology of S. E. Rodabaugh [11], we introduced a more general way to do categorical (fuzzy) topology under the name of categorically-algebraic (catalg) topology [12], which unified many lattice-valued topological settings, and provided the means of intercommunication between different such frameworks. Moreover, motivated by the res...

A fuzzy bag is a bag in which each occurrence of an element is associated with a grade of membership. This notion can be viewed as a generalization of the concepts of set, fuzzy set and bag. The set of fuzzy integers (Nf ) provides a general characterization in which all these different concepts are treated in a uniform way and can then be composed. In the field of databases, the use of fuzzy b...

Matthes and Uustalu (TCS 327(1–2):155–174, 2004) presented a categorical description of substitution systems capable of capturing syntax involving binding which is independent of whether the syntax is made up from least or greatest fixed points. We extend this work in two directions: we continue the analysis by creating more categorical structure, in particular by organizing substitution system...