Pages that link to "Item:Q2577691"
From MaRDI portal
The following pages link to Minimal varieties of residuated lattices (Q2577691):
Displaying 41 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Involutive residuated lattices based on modular and distributive lattices. (Q466876) (← links)
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
- The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- A short note on divisible residuated semilattices (Q780241) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Generalized MV-algebras (Q1770501) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Minimum proper extensions in some lattices of subalgebras (Q2153929) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- A topological approach to MTL-algebras (Q2324842) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. (Q2466758) (← links)
- Constructing simple residuated lattices (Q2583583) (← links)
- Minimal subvarieties of involutive residuated lattices (Q2888151) (← links)
- The structure of idempotent residuated chains (Q3070134) (← links)
- Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Commutative idempotent residuated lattices (Q3617947) (← links)
- Minimal lattice-subspaces (Q4257579) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Varieties minimal over representable varieties of lattice-ordered groups (Q5287610) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- Varieties of K-lattices (Q6079407) (← links)
- Varieties of bounded K-lattices (Q6079408) (← links)
- Gluing residuated lattices (Q6139862) (← links)
- Semilinear idempotent distributive \(\ell\)-monoids (Q6199094) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Almost minimal varieties of commutative residuated lattices (Q6593814) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)
