Results 101 to 110 of about 427,892 (185)
A Van Benthem Characterization Result for Distribution-Free Logics
LogicsThis article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj +1 more source
, 2012 We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an ...
Rivieccio, Umberto, Jansana, Ramon
core +1 more source
Relational groupoids and residuated lattices
EPiC Series in Computing, 2018 A quite general order-theoretical approach to implicative structures leads to consider implicative groupoids, which form a wide class of algebras including residuated lattices and their reasonable generalizations. Implicative groupoids find out to be special instances of suitable relational systems and are objects of categories, semicategories and ...
openaire +3 more sources
Open projections do not form a right residuated lattice
The lattice of open projection of a C*-algebra has a partial monoid structure on compatible elements. However, this does not extend to a total right residuated operation.
David Kruml
core +1 more source
ON L-FUZZY INTERIOR (CLOSURE) SPACES
Journal of New Theory, 2016 Abstaract−The aim of this paper is to introduce the concept of L-fuzzy interior (closure) spaces and the L-fuzzy topological space in a complete residuated lattice. We study some relationships among those structures.
Ahmed Abdel-Kader Ramadan +2 more
doaj
Matrices over residuated lattices [PDF]
, 2014 Residuated lattices simultaneously generalise lattice-ordered groups and the structures used to model various many-valued logics (e.g., Boolean algebras, Heyting algebras and MV-algebras).
core
Fuzzy Kolmogorov Complexity Based on a Classical Description. [PDF]
Entropy (Basel), 2020 Dai S.
europepmc +1 more source
Stable Topology on Ideals for Residuated Lattices
Transactions on Fuzzy Sets and SystemsResiduated lattices are the major algebraic counterpart of logics without contraction rule, as they are more generalized logic systems including important classes of algebras such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices,
Ariane GABRIEL Tallee Kakeu +4 more
doaj
The logic induced by effect algebras. [PDF]
Soft comput, 2020 Chajda I, Halaš R, Länger H.
europepmc +1 more source
Representation of Prelinear Residuated Algebras
, 2008 — In 1998, Hájek established a representation theorem of BL-algebrs as all subdirect products of linear BL-algebrs. We establish a similar result for the much wider class of prelinear residuated algebras, in which neither the lattice structure nor the ...
A. A. Abdel-hamid, Nehad N. Morsi
core