Results 81 to 90 of about 200 (159)

Some Types of Generalized Fuzzy n-Fold Filters in Residuated Lattices

Abstract and Applied Analysis, 2013
Fuzzy filters and their generalized types have been extensively studied in the literature. In this paper, a one-to-one correspondence between the set of all generalized fuzzy filters and the set of all generalized fuzzy congruences is established, a ...
Zhen Ming Ma
doaj   +1 more source

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This 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

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   +2 more sources

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, Enas Hassan El-kordy, Yong Chan Kim   +2 more
doaj  

Fuzzy Kolmogorov Complexity Based on a Classical Description. [PDF]

Entropy (Basel), 2020
Dai S.
europepmc   +1 more source

The logic induced by effect algebras. [PDF]

Soft comput, 2020
Chajda I, Halaš R, Länger H.
europepmc   +1 more source

Stable Topology on Ideals for Residuated Lattices

Transactions on Fuzzy Sets and Systems
Residuated 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, Luc E. Diekouam, Blaise Bleriot Koguep N., Celestin Lele, Daniel Akume   +4 more
doaj  

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Extending the Basic Local Independence Model to Polytomous Data. [PDF]

Psychometrika, 2020
Stefanutti L, de Chiusole D, Anselmi P, Spoto A.   +3 more
europepmc   +1 more source