Related papers: Boolean and ortho fuzzy subset logics
The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Rieamannian Lie algebras. The two notions are strongly related:…
Bipolar fuzzy relation equations arise when unknown variables together with their logical negations appear simultaneously in fuzzy relation equations. This paper gives a characterization of the solvability of bipolar max product fuzzy…
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…
A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups…
Why do division and cohesion often intensify together? This paper develops a static structural theory of relation maintenance based on minimal positional constraints. Rather than relying on utility-based or probabilistic models, social…
Logics with analogous semantics, such as Fuzzy Logic, have a number of explanatory and application advantages, the most well-known being the ability to help experts develop control systems. From a cognitive systems perspective, such…
We have recently shown that pseudo-bosonic operators realize concrete examples of finite dimensional nilpotent Lie algebras over the complex field. It has been the first time that such operators were analyzed in terms of nilpotent Lie…
A fuzzy opinion is a Gaussian fuzzy set with the center representing the opinion and the standard deviation representing the uncertainty about the opinion, and a fuzzy opinion network is a connection of a number of fuzzy opinions in a…
We investigate a construction of a pseudo BL-algebra out of an $\ell$-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As…
Let $f: T\to \{ 0,1 \}$ be a Boolean function on the Boolean half-slice, $T$, \ie elements of $\{0,1\}^n$ with Hamming weight $n/2$. We show that if $f(x)+f(y)=f(x+y)$ holds with probability $\frac{1+\delta}{2}$ over a uniform pair $(x,y)$…
We study whether a logic based on team semantics can be enriched with a conditional satisfying minimal requirements--namely, preservation of the closure property of the logic, Modus Ponens, and the Deduction Theorem. We show that such…
Since the introduction by Hodges, and refinement by V\"a\"an\"anen, team semantic constructions have been used to generate expressively enriched logics still conserving nice properties, such as compactness or decidability. In contrast,…
It is well known over the recent years that measuring the success of projects under the umbrella of project management is inextricably linked with the associated cost, time, and quality. Most of the previous researches in the field assigned…
In this paper we present a propositional logic programming language for reasoning under possibilistic uncertainty and representing vague knowledge. Formulas are represented by pairs (A, c), where A is a many-valued proposition and c is…
Understanding the query complexity for testing linear-invariant properties has been a central open problem in the study of algebraic property testing. Triangle-freeness in Boolean functions is a simple property whose testing complexity is…
Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy…
The joint distribution $P(X,Y)$ cannot be determined from its marginals $P(X)$ and $P(Y)$ alone; one also needs one of the conditionals $P(X|Y)$ or $P(Y|X)$. But is there a best guess, given only the marginals? Here we answer this question…
We characterize the fuzzy left (resp. right) ideals, the fuzzy ideals and the fuzzy prime (resp. semiprime) ideals of an ordered $\Gamma$-groupoid $M$ in terms of level subsets and we prove that the cartesian product of two fuzzy left…
The fusion products of admissible representations of the su(2) WZW model at the fractional level k=-4/3 are analysed. It is found that some fusion products define representations for which the spectrum of L_0 is not bounded from below.…
We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisfies a weak form of the so-called inconsistency lemma of…