Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Residuated lattices"”.
-
Unilinear Residuated Lattices
<p>We characterize all residuated lattices that have height equal to 3 and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear residuated lattices: their lattice is a union of disjoint incomparable chains, with bounds added. We give the …
-
Categories of Residuated Lattices
… algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both …
-
Decidability for Residuated Lattices and Substructural Logics
… 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 equations, dually, the extension of substructural logics by simple structural rules, with the …
-
Substructurality and residuation in logic and algebra
… and D. Pigozzi. It was discovered that (pointed) residuated lattices – or FL algebras – are the algebraic counterpart of substructural logics. In the XIX century, Boole noticed a close connection between “the laws of thought,” as he put it, and algebra. After him, other mathematicians put together …
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
<p>Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, …
-
Algebraic study of fuzzy finite switchboard automata
… the general algebraic structure such as complete residuated lattices (CRL) has been utilized to enhance the membership grade of the fuzzy finite switchboard automata (FFSA). This research also proposed a specific algorithm for FFSA by the use of CRL. In an automata theory, some machines seldom …