THE STRUCTURE OF RESIDUATED LATTICES
From MaRDI portal
Publication:3043517
DOI10.1142/S0218196703001511zbMath1048.06010MaRDI QIDQ3043517
Kevin K. Blount, Constantine Tsinakis
Publication date: 6 August 2004
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
lattice-ordered groupequational classrelatively normal latticeResiduated latticeresiduated partially ordered monoid
Structure theory of lattices (06B05) Lattice ideals, congruence relations (06B10) Ordered rings, algebras, modules (06F25) Varieties of lattices (06B20)
Related Items
On the structure of fuzzy variable precision rough sets based on generalized residuted lattices ⋮ RADICAL OF FILTERS IN RESIDUATED LATTICES ⋮ Implicative and positive implicative filters of residuated lattices in multiset context ⋮ GENERALIZED RESIDUATED LATTICES BASED F-TRANSFORM ⋮ Diagrams of Fuzzy Orderings ⋮ The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ New directions in LB-valued general fuzzy automata: A topological view ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of K-lattices ⋮ Unitless Frobenius quantales ⋮ Gluing residuated lattices ⋮ Structural and universal completeness in algebra and logic ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Deciding Equations in the Time Warp Algebra ⋮ Perfect GMV-Algebras ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ On the Relationship Between L-fuzzy Closure Spaces and L-fuzzy Rough Sets ⋮ Recognizability in residuated lattices ⋮ Time warps, from algebra to algorithms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On a category of fuzzy automata with relations ⋮ INTUITIONISTIC FUZZY FILTERS OF RESIDUATED LATTICES ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Archimedean Residuated Lattices ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ Representable pseudo-BCK-algebras and integral residuated lattices ⋮ TOPOLOGICAL SIMILARITY OF L-RELATIONS ⋮ Residuated frames with applications to decidability ⋮ Modal operators on bounded commutative residuated ℓ-monoids ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ The structure of idempotent residuated chains ⋮ Commutative idempotent residuated lattices ⋮ Local bounded commutative residuated ℓ-monoids ⋮ Interior and closure operators on bounded residuated lattice ordered monoids ⋮ A non commutative generalization of *-autonomous lattices ⋮ The Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids ⋮ Perfect residuated lattice ordered monoids ⋮ Equivalence of consequence relations: an order-theoretic and categorical perspective ⋮ BCC-algebras and residuated partially-ordered groupoid ⋮ Glivenko theorems for substructural logics over FL ⋮ Totally Ordered Monoids Based on Triangular Norms ⋮ Banaschewski’s theorem for GMV-algebras ⋮ The finite model property for semilinear substructural logics ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ Galois connection of stabilizers in residuated lattices ⋮ Theorems of Alternatives for Substructural Logics ⋮ Regularity in residuated lattices ⋮ Categories of Automata and Languages Based on a Complete Residuated Lattice ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra ⋮ On Bijective Correspondence between Fuzzy Reflexive Approximation Spaces and Fuzzy Transformation Systems ⋮ Fuzzy Regular Languages Based on Residuated Lattice ⋮ Simple, local and subdirectly irreducible state residuated lattices ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS ⋮ Obstinate, weak implicative and fantastic filters of non commutative residuated lattices ⋮ \(n\)-fold Heyting, Boolean and pseudo-MV filters in residuated lattices ⋮ A new approach for classification of filters in residuated lattices ⋮ Constructing implications and coimplications on a complete lattice ⋮ The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ Kites and residuated lattices ⋮ Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ Integrally closed residuated lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ The Archimedean property: new horizons and perspectives ⋮ Fuzzy equivalence relations and their equivalence classes ⋮ Associativity, commutativity and symmetry in residuated structures ⋮ Prelinear algebras in relatively regular quasivarieties ⋮ Representable biresiduated lattices ⋮ Study residuated lattice via some elements ⋮ Matrix representations and interdependency on \(L\)-fuzzy covering-based approximation operators ⋮ Alternative proof of standard completeness theorem for MTL ⋮ The radical of a perfect residuated structure ⋮ Twist structures and Nelson conuclei ⋮ Extended-order algebras and fuzzy implicators ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ Pseudo equality algebras ⋮ A generalization of local fuzzy structures ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ Granular variable precision fuzzy rough sets with general fuzzy relations ⋮ Structure theorems for idempotent residuated lattices ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ On normal-valued basic pseudo-hoops ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ On Birkhoff's common abstraction problem ⋮ Relation algebras as expanded FL-algebras ⋮ Some types of filters in residuated lattices ⋮ The relationship between \(L\)-fuzzy rough set and \(L\)-topology ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ The approximation of left-continuous t-norms ⋮ Extremal states on bounded residuated \(\ell\)-monoids with general comparability ⋮ Density revisited ⋮ State operators on generalizations of fuzzy structures ⋮ Tense operators on non-commutative residuated lattices ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Minimal varieties of involutive residuated lattices ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Lattice-theoretic properties of algebras of logic ⋮ Involutive residuated lattices based on modular and distributive lattices. ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator ⋮ Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras ⋮ Normal residuated lattices ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Boolean filters and positive implicative filters of residuated lattices ⋮ Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices ⋮ On derivations and their fixed point sets in residuated lattices ⋮ Semilinear substructural logics with the finite embeddability property ⋮ Real coextensions as a tool for constructing triangular norms ⋮ Topological structures of \(L\)-fuzzy rough sets and similarity sets of \(L\)-fuzzy relations ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Embedding theorems for classes of GBL-algebras ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ States on finite monoidal t-norm based algebras ⋮ Distributive laws in residuated binars ⋮ Nuclei and conuclei on residuated lattices ⋮ Generalized MV-algebras ⋮ A short note on \(L\)-fuzzy approximation spaces and \(L\)-fuzzy pretopological spaces ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) ⋮ Residuated lattices of size \(\leq 12\) ⋮ \(\bigstar\)-autonomous lattices ⋮ Representable good EQ-algebras ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices ⋮ Granular variable precision \(L\)-fuzzy rough sets based on residuated lattices ⋮ New results on single axioms for \(L\)-fuzzy rough approximation operators ⋮ Conical residuated lattice-ordered idempotent monoids ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Residuated structures and orthomodular lattices ⋮ On the coextension of cut-continuous pomonoids ⋮ Compatible operations on residuated lattices ⋮ The going-up and going-down theorems in residuated lattices ⋮ Ordinal decompositions for preordered root systems ⋮ Ordered groups with a conucleus ⋮ The structure of generalized BI-algebras and weakening relation algebras ⋮ On two new classes of stabilizers in residuated lattices ⋮ A short note on divisible residuated semilattices ⋮ General \(L\)-fuzzy aggregation functions based on complete residuated lattices ⋮ Topological residuated lattices ⋮ Splittings in subreducts of hoops ⋮ Splittings in GBL-algebras. I: The general case ⋮ Splittings in GBL-algebras. II: The representable case ⋮ On residuated lattices with left and right internal state ⋮ A comparative study of variable precision fuzzy rough sets based on residuated lattices ⋮ Filter theory of extended implicative groupoids ⋮ Notes on ``On \((O,G)\)-fuzzy rough sets based on overlap and grouping functions over complete lattices ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ Poset products as relational models ⋮ Bounded commutative residuated \(\ell\)-monoids with general comparability and states
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ideals in universal algebras
- The finite basis theorem for relatively normal lattices
- Optimal natural dualities for varieties of Heyting algebras
- Residuation in structures over which a multiplication is defined
- Structure residuation
- Topologie der Vereine und Verbände
- Covers of the variety of abelian ℓ-groups
- A very large class of small varieties of lattice-ordered groups1
- Algebras Whose Congruence Lattices are Distributive.
- Residuated Lattices
- Abstract residuation over lattices
