Results 111 to 120 of about 74,358 (176)

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

Cayley and Holland Theorems for Residuated Lattices

We obtain representation theorems for residuated lattices. The representing structure consists of special self maps on an ordered set. We prove two types of theorems; one that generalizes Cayley's theorem for groups/monoids and one (for special ...
Rostislav Horcik, Nikolaos Galatos
core   +1 more source

The structure of residuated lattices

, 2002
. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid operation to lattices.
P. Jipsen, C. Tsinakis
core  

The Notions of Fuzzy Set on Pseudo Quasi Ordered Residuated Systems. [PDF]

F1000Res
Gubena YM, Alemayehu TG.
europepmc   +1 more source

Fuzzy logical algebras and their applications. [PDF]

ScientificWorldJournal, 2015
Zhan J, Davvaz B, Dudek WA, Jun YB, Kim HS.   +4 more
europepmc   +1 more source

Some properties of residuated lattices

, 2003
We investigate some (universal algebraic) properties of residuated lattices -algebras which play the role of structures of truth values of various systems of fuzzy logic.
Radim Bělohlávek, Ostrava
core  

Pseudo-Additive Tsallis Entropy and Non-Factorizing Joint Statistics in Product Sheffer Stroke Basic Algebras. [PDF]

Entropy (Basel)
Senturk I, Bilge M, Oner T.
europepmc   +1 more source

The algebraic characterizations for a formal power series over complete strong bimonoids. [PDF]

Springerplus, 2016
Jin JH, Li CQ.
europepmc   +1 more source

Amalgamation in classes of involutive commutative residuated lattices [PDF]

Amalgamation is investigated in classes of non-divisible, non-in\-teg\-ral, and non-idempotent involutive commutative residuated lattices. We demonstrate that several subclasses of totally-ordered, involutive, commutative residuated lattices fail the ...
Jenei, Sándor
core