Closure operators and complete embeddings of residuated lattices
From MaRDI portal
Publication:1402589
DOI10.1023/A:1025171301247zbMath1030.03046OpenAlexW1519624158MaRDI QIDQ1402589
Publication date: 28 August 2003
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1025171301247
Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
Cut elimination and strong separation for substructural logics: an algebraic approach, Grishin algebras and cover systems for classical bilinear logic, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, On three implication-less fragments of t-norm based fuzzy logics, Densification via polynomials, languages, and frames, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, \(\bigstar\)-autonomous lattices and fuzzy sets, On two fragments with negation and without implication of the logic of residuated lattices, Hyper-MacNeille completions of Heyting algebras