Closure operators and complete embeddings of residuated lattices

DOI10.1023/A:1025171301247zbMath1030.03046MaRDI QIDQ1402589

Hiroakira Ono

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

zbMATH Keywords

completeness; substructural logics; residuated lattices; complete embeddings

Mathematics Subject Classification ID

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