Results 151 to 160 of about 427,892 (185)

Monadic Bounded Residuated Lattices

Order, 2011
Algebraic counterparts of the existential and universal quantifiers have been frequently studied for certain nonclassical logics. Monadic Boolean algebras, monadic MV-algebras, monadic Heyting algebras and monadic R\(\ell\)-monoids have been defined and studied.
Jirí Rachunek, Dana Salounová
openaire   +1 more source

Fuzzy Topology Based on Residuated Lattice-Valued Logic

Acta Mathematica Sinica, English Series, 2001
We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Rosser and ...
Ying, MS, Ming Sheng Ying
exaly   +2 more sources

THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

International Journal of Algebra and Computation, 2002
A commutative residuated lattice, is an ordered algebraic structure [Formula: see text], where (L, ·, e) is a commutative monoid, (L, ∧, ∨) is a lattice, and the operation → satisfies the equivalences [Formula: see text] for a, b, c ∊ L. The class of all commutative residuated lattices, denoted by [Formula: see text], is a finitely based variety of ...
James B. Hart, Lori Rafter, Constantine Tsinakis   +2 more
openaire   +3 more sources

Prime Filters on Residuated Lattices

2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012
In this short paper we give an affirmative answer to the problem left open in \cite{IEEE how to: GDCK}, that is, for any residuated lattice $L$, if prime filters and prime filters of the second kind coincide, then $L$ must be an MTL-algebra.
Michiro Kondo, Esko Turunen
openaire   +1 more source

FUZZY FILTERS ON THE RESIDUATED LATTICES [PDF]

New Mathematics and Natural Computation, 2006
In this paper, the lattice operations and the adjoint pair on the fuzzy filters set on residuated lattices are defined, the conclusion that the fuzzy filters lattice defined as such is a distributive residuated lattice is obtained. An order-reversing involution on the fuzzy strong-prime filters sublattice is introduced.
JIA-LU ZHANG, HONG-JUN ZHOU
openaire   +1 more source

Recursive Residuals on a Rectangular Lattice

Biometrical Journal, 1984
AbstractA set of independentN(O, ρ2) recursive residuals is obtained for a model proposed by GLEESON and McGILCHRIST (1980) to describe spatial dependence among observations on a rectangular lattice. These residuals can be used to test model adequacy in a similar fashion to Box‐Jenkins techniques for time series models.
Gleeson, A. C., McGilchrist, C. A.
openaire   +1 more source

Nodal filters in Residuated Lattices

Journal of Intelligent & Fuzzy Systems, 2016
In this paper, we introduce the notion of a nodal filter in residuated lattices. We give several characterizations of these filters and also some relationships between these filters and other types of filters are obtained, as well. Finally, we prove that the class of all nodal filters of a residuated lattice forms a Heyting algebra.
openaire   +3 more sources

On filter theory of residuated lattices

Information Sciences, 2010
The authors study filters, Boolean filters (implicative filters), G-filters (positive implicative filters), MV-filters (fantastic filters) and also the corresponding fuzzy filters, fuzzy Boolean filters (fuzzy implicative filters), fuzzy G-filters (fuzzy positive implicative filters), fuzzy MV-filters (fuzzy fantastic filters) of a residuated lattice ...
Yiquan Zhu, Yang Xu 0001
openaire   +3 more sources

Residuated Lattices of Size ≤ 12

Order, 2010
We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics.
Radim Belohlávek, Vilém Vychodil
openaire   +2 more sources

The stable topology for residuated lattices

Soft Computing, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Catalin Busneag, Dana Piciu
openaire   +2 more sources