On the completion by cuts of distributive lattices
From MaRDI portal
Publication:5843041
DOI10.3792/pia/1195573210zbMath0063.01484OpenAlexW2033350812MaRDI QIDQ5843041
Publication date: 1944
Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3792/pia/1195573210
Related Items
Completions of orthomodular lattices ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Topological duality and algebraic completions ⋮ Lattices With Involution ⋮ Meet-Irreducible Elements in Implicative Lattices ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
