English
Related papers

Related papers: A study of the interrelation between fuzzy topolog…

200 papers

In this paper we introduce the concept of MV-topology, a special class of fuzzy topological spaces, and prove a proper extension of Stone Duality to the categories of limit cut complete MV-algebras and Stone MV-spaces, namely,…

Logic · Mathematics 2015-11-13 Ciro Russo

Fuzzy logic is a way to argue with boolean predicates for which we only have a confidence value between 0 and 1 rather than a well defined truth value. It is tempting to interpret such a confidence as a probability. We use Markov kernels,…

Logic in Computer Science · Computer Science 2023-03-08 Rogier Brussee

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…

Logic in Computer Science · Computer Science 2015-03-24 Vilem Vychodil

Modelling of complex systems is mainly based on the decomposition of these systems in autonomous elements, and the identification and definitio9n of possible interactions between these elements. For this, the agent-based approach is a…

Artificial Intelligence · Computer Science 2013-02-27 Alain-Jérôme Fougères

Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative…

Logic in Computer Science · Computer Science 2013-02-28 Petr Hajek , Dagmar Harmancová , Francesc Esteva , Pere Garcia , Lluis Godo

A review is presented of the correspondence existing in both classical bivalent logic (BL) and canonical fuzzy logic (CFL) between each law or tautology in propositional calculus and a law in set theory. The latter law consists of the…

General Mathematics · Mathematics 2023-03-13 Osvaldo Skliar , Sherry Gapper , Ricardo E. Monge

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…

Logic in Computer Science · Computer Science 2025-07-16 Apostolos Syropoulos

Since the theory of rough sets was introduced by Zdzislaw Pawlak, several approaches have been proposed to combine rough set theory with fuzzy set theory. In this paper, we examine one of these approaches, namely fuzzy rough sets with crisp…

General Mathematics · Mathematics 2020-08-03 Dávid Gégény , László Kovács , Sándor Radeleczki

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing…

Logic in Computer Science · Computer Science 2017-09-05 Dominik Klein , Rasmus K. Rendsvig

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

Category Theory · Mathematics 2014-03-17 Jonas Frey

This article is the first of an intended series of works on the model theory of Ultrafinitism. It is roughly divided into two parts. The first one addresses some of the issues related to ultrafinitistic programs, as well as some of the core…

Logic in Computer Science · Computer Science 2007-05-23 Mirco A. Mannucci , Rose M. Cherubin

L.A.Zadeh introduced the concept of fuzzy set theory as the generalization of classical set theory in 1965 and further it has been generalized to intuitionistic fuzzy sets (IFSs) by Atanassov in 1983 to model information by the membership,…

General Mathematics · Mathematics 2016-02-05 V. Lakshmana Gomathi Nayagam , Jeevaraj. S , Geetha Sivaraman

Fuzzy spaces are obtained by quantizing adjoint orbits of compact semi-simple Lie groups. Fuzzy spheres emerge from quantizing S^2 and are associated with the group SU(2) in this manner. They are useful for regularizing quantum field…

High Energy Physics - Theory · Physics 2009-11-10 A. P. Balachandran , S. Kurkcuoglu

This article provides a conceptual and historical review of the evolution of integrable Hamiltonian systems from the Moscow School of A. T. Fomenko to the emerging Azarbaijan School of Geometric Dynamical Systems founded by the author.…

Dynamical Systems · Mathematics 2025-10-28 Ghorbanali Haghighatdoost

Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. However, its logical and semantic foundations remain underdeveloped, especially beyond…

Artificial Intelligence · Computer Science 2026-05-25 Oscar Montiel Ross

In this paper a toy model of quantum topology is reviewed to study effects of matter and gauge fields on the topology fluctuations. In the model a collection of N one dimensional manifolds are considered where a set of boundary conditions…

High Energy Physics - Theory · Physics 2015-10-28 Farzaneh Atyabi

Imprecise-information processing will play an indispensable role in intelligent systems, especially in the anthropomorphic intelligent systems (as intelligent robots). A new theoretical and technological system of imprecise-information…

Computation and Language · Computer Science 2016-10-11 Shiyou Lian

Continuing to pursue a research direction that we already explored in connection with G\"odel-Dummett logic and Ruspini partitions, we show here that {\L}ukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy…

Logic in Computer Science · Computer Science 2013-11-26 Pietro Codara , Ottavio M. D'Antona , Vincenzo Marra

In this paper we deal with a new approach to probabilistic reasoning in a logical framework. Nearly almost all logics of probability that have been proposed in the literature are based on classical two-valued logic. After making clear the…

Artificial Intelligence · Computer Science 2013-02-21 Petr Hajek , Lluis Godo , Francesc Esteva

The notion of Intuitionistic fuzzy hypervector space has been generalized and a few basic properties on this concept are studied. It has been shown that the intersection and union of an arbitrary family of Intuitionistic fuzzy hypervector…

General Mathematics · Mathematics 2010-09-14 Sanjay Roy , T. K. Samanta