Search results
From MaRDI portal
- posets; MacNeill completion Mathematics Subject Classification ID 06A07: Combinatorics of partially ordered sets 06B23: Complete lattices, completions 03E02:...15 bytes (68 words) - 08:21, 3 February 2024
- 1007/s00500-016-2191-1 zbMATH Keywords tense logic; tense operator; Dedekind-MacNeill completion; non-commutative residuated lattice; tense MV-algebra Mathematics...15 bytes (74 words) - 07:03, 1 February 2024