Closure operators and complete embeddings of residuated lattices
From MaRDI portal
Publication:1402589
DOI10.1023/A:1025171301247zbMath1030.03046MaRDI 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
03G10: Logical aspects of lattices and related structures
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, Cut elimination and strong separation for substructural logics: an algebraic approach, Grishin algebras and cover systems for classical bilinear logic, Hyper-MacNeille completions of Heyting algebras, Densification via polynomials, languages, and frames, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, On three implication-less fragments of t-norm based fuzzy logics, \(\bigstar\)-autonomous lattices and fuzzy sets, On two fragments with negation and without implication of the logic of residuated lattices