Related papers: Boolean and ortho fuzzy subset logics
We show that in the decoupling limit of an F-theory compactification, the internal directions of the seven-branes must wrap a non-commutative four-cycle S. We introduce a general method for obtaining fuzzy geometric spaces via toric…
In this talk a brief survey of basic ideas of Idempotent Mathematics is presented. Relations between this theory and the theory of fuzzy sets as well as the possibility theory and some applications (including computer applications) are…
We present a construction of the formalism where fundamental variables are nilpotent, but in contrast to the supermathematics, commutative. This gives another possibility to realize classically the Pauli exclusion principle. We sketch the…
The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been…
The aim of the paper is to obtain a description of the selfadjoint subspace of the one-speed Boltzmann operator. It is proved that this subspace is nontrivial if the collision integral is polynomial and the multiplication coefficient has a…
We consider a variant of the Boolean satisfiability problem where a subset E of the propositional variables appearing in formula Fsat encode a symmetric, transitive, binary relation over N elements. Each of these relational variables,…
Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by…
Aiming at the group decision - making problem with multi - objective attributes, this study proposes a group decision - making system that integrates fuzzy inference and Bayesian network. A fuzzy rule base is constructed by combining…
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…
The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation where these two forms need not coincide. We study lattices…
The paper deals with a lot sizing problem with ill-known demands modeled by fuzzy intervals whose membership functions are possibility distributions for the values of the uncertain demands. Optimization criteria, in the setting of…
Boundary effects play an important role in the study of hydrodynamic limits in the Boltzmann theory. We justify rigorously the validity of the hydrodynamic limit from the Boltzmann equation of soft potentials to the compressible Euler…
A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary…
In the 1950s L. Schwartz proved his famous impossibility result: for every k in N there does not exist a differential algebra (A,+,*,D) in which the distributions can be embedded, where D is a linear operator that extends the distributional…
In semi-supervised fuzzy clustering, this paper extends the traditional pairwise constraint (i.e., must-link or cannot-link) to fuzzy pairwise constraint. The fuzzy pairwise constraint allows a supervisor to provide the grade of similarity…
In a recent paper [1] we introduced the Fuzzy Bayesian Learning (FBL) paradigm where expert opinions can be encoded in the form of fuzzy rule bases and the hyper-parameters of the fuzzy sets can be learned from data using a Bayesian…
In this article, we combine the concept of a bipolar fuzzy set and a soft set. We introduce the notion of bipolar fuzzy soft set and study fundamental properties. We study basic operations on bipolar fuzzy soft set. We define exdended…
In this paper, we mainly construct three types of $L$-fuzzy $\beta$-covering-based rough set models and study the axiom sets, matrix representations and interdependency of these three pairs of $L$-fuzzy $\beta$-covering-based rough…
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…
We extend non-emtpyness and irreducibility of Hassett divisors to the moduli spaces of $M$-polarizable cubic fourfolds for higher rank lattices $M$, which in turn provides a systematic approach for describing the irreducible components of…