Results 81 to 90 of about 199 (160)

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  

On the Equational Theory of Lattice-Based Algebras for Layered Graphs

Axioms
Layered algebras are introduced and used to express layered graphs. Layered graphs are considered to be a highly effective abstract tool to manage the difficulty in conceptualizing and reasoning regarding complex systems related to coding in email ...
Zhe Yu, Hao Zhan, Yiheng Wang, Zhe Lin, Fei Liang   +4 more
doaj   +1 more source

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

The logic induced by effect algebras. [PDF]

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

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

Locality in Residuated-Lattice Structures

CoRR
Many-valued models generalise the structures from classical model theory by defining truth values for a model with an arbitrary algebra. Just as algebraic varieties provide semantics for many non-classical propositional logics, models defined over algebras in a variety provide the semantics for the corresponding non-classical predicate logics.
openaire   +2 more sources