Results 111 to 120 of about 662 (160)
Peter Jipsen From Semirings to Residuated Kleene Lattices
, 2008 . We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-∗. An investigation of congruence properties (epermutability, e-regularity, congruence distributivity) is followed by a section on ...
core
Minimal Subvarieties of Involutive Residuated Lattices
, 2011 It is known that classical logic $\bb {CL}$ is the single maximal consistent logic over intuitionistic logic $\bb {Int}$, which is moreover the single one even over the substructural logic $\bb {FL}_\bb{ew}$.
Souma, Daisuke
core
Amalgamation in Semilinear Residuated Lattices
We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations ($
Fussner, Wesley, Santschi, Simon
core
Decidability for Residuated Lattices and Substructural Logics
, 2019 We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple
St. John, Gavin
core
Locality in Residuated-Lattice Structures
CoRRMany-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
An Investigation of Residuated Lattices with Modal Operators
, 2013 Residuated lattices, which generalize Boolean algebras and lattice-ordered groups, have been useful in the study of algebraic logic, particularly as an algebraic semantics for substructural logics. By equipping a residuated lattice with a modal operator (
Young, William Joseph
core
Minimal Subvarieties of Involutive Residuated Lattices
, 2015 It is known that classical logic CL is the single maximal consistent logic over intuitionistic logic Int, which is moreover the single one even over the substructural logic FLew.
Souma, Daisuke
core
Amalgamation in classes of involutive commutative residuated lattices
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
FUZZY FILTERS ON THE RESIDUATED LATTICES
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.
HONG-JUN ZHOU, JIA-LU ZHANG
core
Interior and closure operators on bounded residuated lattices
Open Mathematics, 2014 Rachůnek Jiří, Svoboda Zdeněk
doaj +1 more source