Pages that link to "Item:Q1402589"
From MaRDI portal
The following pages link to Closure operators and complete embeddings of residuated lattices (Q1402589):
Displaying 16 items.
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey (Q1874537) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Integral closure, basically full closure, and duals of nonresidual closure operations (Q2104886) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- On the finite embeddability property for residuated lattices, pocrims and BCK-algebras (Q2752417) (← links)
- Generalized ordinal sums and translations (Q2885172) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
