Pages that link to "Item:Q1770973"
From MaRDI portal
The following pages link to Adding involution to residuated structures (Q1770973):
Displaying 30 items.
- Co-rotation constructions of residuated semigroups (Q279424) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Involutive residuated lattices based on modular and distributive lattices. (Q466876) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Residuated bilattices (Q1933771) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Representation by triples of algebras with an MV-retract (Q2328956) (← links)
- A comparative study of variable precision fuzzy rough sets based on residuated lattices (Q2329015) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Possibility distributions generated by intuitionistic \textsf{L}-fuzzy sets (Q2670892) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Gluing residuated lattices (Q6139862) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)