Pages that link to "Item:Q767570"
From MaRDI portal
The following pages link to Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge (Q767570):
Displayed 50 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Extensions of ordering sets of states from effect algebras onto their MacNeille completions (Q363033) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Mathematical aspects of concept analysis (Q676803) (← links)
- Block-finite atomic orthomodular lattices (Q689271) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Pseudocomplemented lattice effect algebras and existence of states (Q1010123) (← links)
- Posets isomorphic to their extensions (Q1064328) (← links)
- Separable subsets of a finite lattice (Q1133561) (← links)
- Combinatorial inequalities for semimodular lattices of breadth two (Q1134169) (← links)
- The Dedekind-MacNeille completion as a reflector (Q1182063) (← links)
- Bigeneration in complete lattices and principal separation in ordered sets (Q1182066) (← links)
- Certain partially ordered sets of dimension three (Q1218446) (← links)
- Relative pseudo-complements, join-extensions, and meet-retractions (Q1235197) (← links)
- Completions of orthomodular lattices. II (Q1318352) (← links)
- On context patterns associated with concept lattices (Q1319084) (← links)
- Counterexamples in difference posets and orthoalgebras (Q1325720) (← links)
- Completions of orthomodular lattices (Q1325964) (← links)
- Generalized dimension of an ordered set and its MacNeille completion (Q1338129) (← links)
- Lattice effect algebras with (o)-continuous faithful valuations (Q1349203) (← links)
- On the Dedekind-MacNeille closure of an ordered set and a theorem of Novák (Q1601398) (← links)
- Concept lattices and order in fuzzy logic (Q1877099) (← links)
- Interval orders based on arbitrary ordered sets (Q1898345) (← links)
- Pták sum of a Boolean algebra with an effect algebra and its completeness (Q1907591) (← links)
- Completeness of the bounded Boolean powers of orthomodular lattices (Q1913870) (← links)
- Top element problem and MacNeille completions of generalized effect algebras (Q2018749) (← links)
- Completions of pseudo ordered sets (Q2141001) (← links)
- \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets (Q2183100) (← links)
- Embeddings of generalized effect algebras into complete effect algebras (Q2500755) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Über eine Eigenschaft der Dedekind-MacNeilleschen Hülle (Q2528387) (← links)
- Indexed orthomodular lattices (Q2540721) (← links)
- Sectionally pseudocomplemented posets (Q2665835) (← links)
- Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras (Q3085430) (← links)
- (Q3085451) (← links)
- (Q3153081) (← links)
- Linear extensions of orderings (Q3366543) (← links)
- (Q3552472) (← links)
- Characterizations of certain classes of posets having Gs-lattices of a relatively small size (Q3958508) (← links)
- Topological and order-topological orthomodular lattices (Q4014773) (← links)
- Each join-completion of a partially ordered set in the solution of a universal problem (Q4058699) (← links)
- Order-topological separable complete modular ortholattices admit order continuous faithful valuations (Q4372748) (← links)
- (Q4534299) (← links)
- Pseudo MV-algebras are intervals in ℓ-groups (Q4805459) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- (Q5389866) (← links)
- Homomorphism theories for universal algebras (Q5534274) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- On the dimension of partially ordered sets (Q5904865) (← links)