Related papers: Coalgebraic Fuzzy geometric logic
In this paper we study spaces of algebras over an operad (non-symmetric) in symmetric monoidal model categories. We first compute the homotopy fiber of the forgetful functor sending an algebra to its underlying object, extending a result of…
A fuzzy clustering algorithm for multidimensional data is proposed in this article. The data is described by vectors whose components are linguistic variables defined in an ordinal scale. The obtained results confirm the efficiency of the…
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely…
This article deals with the description and recognition of fiber bundles, in particular nerves, in medical images, based on the anatomical description of the fiber trajectories. To this end, we propose a logical formalization of this…
Given a nonempty set $X$ and a function $f:X \rightarrow X$, three fuzzy topological spaces are introduced. Some properties of these spaces and relation among them are studied and discussed.
After a concise introduction to the square of opposition, in particular, and, Aristotelian Diagrams, in general, I describe how one can create a mathematical universe to host these objects. Since these objects assume that the underlying…
In this paper, concept of fuzzy continuous operator, fuzzy bounded linear operator are introduced in fuzzy strong $\phi$-b-normed linear spaces and their relations are studied. Idea of operator fuzzy norm is developed and completeness of…
We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We…
A presentation is provided of the basic notions and operations of a) the propositional calculus of a variant of fuzzy logic -- canonical fuzzy logic, CFL -- and in a more succinct and introductory way, of b) the theory of fuzzy sets…
In this paper, we introduce the subvariety of quasi-MV* algebras in order to characterize the logic which is related to complex fuzzy logic. First, we give the definitions of strong quasi-MV* algebra and strong quasi-Wajsberg* algebra and…
Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…
In dealing with veracity of data analytics, fuzzy methods are more and more relying on probabilistic and statistical techniques to underpin their applicability. Conversely, standard statistical models usually disregard to take into account…
These notes survey the theory of (twisted) conformal blocks from an algebro-geometric perspective and have two main goals. The first one is to summarize the construction of conformal blocks from vertex operator algebras, and to describe…
It is well known that, under certain conditions, it is possible to split logic programs under stable model semantics, i.e. to divide such a program into a number of different "levels", such that the models of the entire program can be…
In this article, we describe the fuzzy logic, fuzzy language and algorithms as the basis of fuzzy reasoning, one of the intelligent information processing method, and then describe the general fuzzy reasoning method.
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of {\L}ukasiewicz propositional logic to query…
The rank-three tensor models, which have a rank-three tensor as their only dynamical variable, may be interpreted as models of dynamical fuzzy spaces. In this interpretation, the generalized Hermiticity condition on the rank-three tensor…
For a topological space it is well-known that the associated closure and interior operators provide equivalent descriptions of set-theoretic topology; but it is not generally true in other categories, consequently it makes sense to define…