Pages that link to "Item:Q1826928"
From MaRDI portal
The following pages link to Equational bases for joins of residuated-lattice varieties (Q1826928):
Displaying 18 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Why are papers about filters on residuated structures (usually) trivial? (Q726485) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Generalized MV-algebras (Q1770501) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
- Variety generated by conical residuated lattice-ordered idempotent monoids (Q2416382) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Varieties generated by standard BL-algebras (Q2454042) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Commutative idempotent residuated lattices (Q3617947) (← links)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)
- Gluing residuated lattices (Q6139862) (← links)