Related papers: Complete relations on fuzzy complete lattices
Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…
Let $f(z)=e^{-bz^2}f_1(z)$ where $b \geq 0$ and $f_1(z)$ is a real entire function of genus 0 or 1. We give a necessary and sufficient condition in terms of a sequence of inequalities for all of the zeros of $f(z)$ to be real. These…
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…
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…
We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with…
We consider a generalization of the basic fuzzy torus to a fuzzy torus with non-trivial modular parameter, based on a finite matrix algebra. We discuss the modular properties of this fuzzy torus, and compute the matrix Laplacian for a…
If every block of a (compatible) tolerance (relation) $T$ on a modular lattice $L$ of finite length consists of at most two elements, then we call $T$ a \emph{doubling tolerance} on $L$. We prove that, in this case, $L$ and $T$ determines a…
Legendre's relation for the complete elliptic integrals of the first and second kinds is generalized. The proof depends on an application of the generalized trigonometric functions and is alternative to the proof for Elliott's identity.
We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product…
We study the class of finite lattices that are isomorphic to the congruence lattices of algebras from a given finitely generated congruence-distributive variety. If this class is as large as allowed by an obvious necessary condition, the…
A distributive lattice with zero is completely normal if its prime ideals form a root system under set inclusion.Every such lattice admits a binary operation (x,y) \mapsto x-y satisfying the rules x \leq y\vee (x-y) and (x-y) \wedge (y-x)=0…
We introduce Riesz Logic, whose models are abelian lattice ordered groups, which generalise Riesz spaces (vector lattices), and show soundness and completeness. Our motivation is to provide a logic for distributional semantics of natural…
In this paper, we will show how the Caratheodory Extension process is intimately related to the metric completion process. In particular, it will be shown how one is able to construct a lattice on the completion and to obtain an isomorphism…
A fuzzy version of the ordinary round 2-sphere has been constructed with an invariant curvature. We here consider linear connections on arbitrary fuzzy surfaces of genus zero. We shall find as before that they are more or less rigidly…
Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) over the DL $\mathcal{SROIQ}$ based on finite chains of…
I discuss some of the difficulties with formulating chiral symmetry on the lattice and review a recently proposed scheme for a fully finite and exactly gauge invariant lattice regularization of the standard model.
We perform renormalization group transformations to construct optimally local perfect lattice actions for free scalar fields of any mass. Their couplings decay exponentially. The spectrum is identical to the continuum spectrum, while…
We discuss interacting fermion models in two dimensions, and, in particular, such that can be solved exactly by bosonization. One solvable model of this kind was proposed by Mattis as an effective description of fermions on a square…
We relate a balancing property of letters for bi-infinite sequences to the invariance of the resulting 1-dimensional tiling dynamics under changes in the lengths of the tiles. If the language of the sequence space is finitely balanced, then…
The Ginsparg-Wilson(G-W) relation is extended for supersymmetric free theories on a lattice. Exact lattice supersymmetry(SUSY) can be defined without any ambiguities in difference operators. The lattice action constructed by a block-spin…