THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
From MaRDI portal
(Redirected from Publication:4786332)
Recommendations
Cites work
- Abstract residuation over lattices
- Decompositions for Relatively Normal Lattices
- Finite-valued algebraic lattices
- Logic with truth values in A linearly ordered heyting algebra
- Loipomorphisms
- Residuated Lattices
- Residuation in structures over which a multiplication is defined
- Structure residuation
- The general form of residuated algebraic structures
Cited in
(66)- Semilinear De Morgan monoids and epimorphisms
- The residuated commutative law and the residuated meet semi-lattice and its relative properties
- Nilpotency and the Hamiltonian property for cancellative residuated lattices
- ON COMMUTATIVE RESIDUAL POMONOIDS
- On a class of subreducts of the variety of integral srl-monoids and related logics
- Composition on \(\mathrm{FL}_{ew}\)-algebras
- scientific article; zbMATH DE number 4057819 (Why is no real title available?)
- Density elimination
- Twist structures and Nelson conuclei
- Fuzzy equivalence relations and their equivalence classes
- Semiconic idempotent residuated structures
- Subdirectly irreducible residuated semilattices and positive universal classes
- Cancellative residuated lattices
- Residuated structures and orthomodular lattices
- Generalized MV-algebras
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Derivations of commutative residuated lattices
- Compatible operations on commutative residuated lattices
- The subvariety of commutative residuated lattices represented by twist-products
- On the structure of finite integral commutative residuated chains
- Fuzzy modal-like approximation operators based on double residuated lattices
- Varieties of De Morgan monoids: covers of atoms
- Additivity of the commutator and residuation
- On semiconic idempotent commutative residuated lattices
- A new approach for classification of filters in residuated lattices
- Strong NMV-algebras, commutative basic algebras and naBL-algebras.
- Archimedean classes in integral commutative residuated chains
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
- Varieties of K-lattices
- Varieties of bounded K-lattices
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Constructive logic with strong negation is a substructural logic. I
- Compatible operations on commutative weak residuated lattices
- Commutative idempotent residuated lattices
- Categories of models of \(\mathbf{R}\)-mingle
- Conical residuated lattice-ordered idempotent monoids
- Modal operators on commutative residuated lattices
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- scientific article; zbMATH DE number 5041282 (Why is no real title available?)
- THE STRUCTURE OF RESIDUATED LATTICES
- Logical vs. behavioural specifications
- The subvariety lattice for representable idempotent commutative residuated lattices
- Correspondences between gentzen and hilbert systems
- scientific article; zbMATH DE number 5569963 (Why is no real title available?)
- Amalgamation and interpolation in ordered algebras.
- Characterization of extended filters in residuated lattices
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Generalized state operators on residuated lattices
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- Commutative residuated lattices with \((x\odot y)'=x'\vee y'\)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Residuated Structures, Concentric Sums and Finiteness Conditions
- On relative principal congruences in term quasivarieties
- A category equivalence for odd Sugihara monoids and its applications
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- \(\bigstar\)-autonomous lattices
- Idempotent residuated structures: Some category equivalences and their applications
- Variety generated by conical residuated lattice-ordered idempotent monoids
- On the lattice of varieties of residuation algebras
- The proof by cases property and its variants in structural consequence relations
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Minimal varieties of involutive residuated lattices
- Representable idempotent commutative residuated lattices
This page was built for publication: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4786332)
