A Discrete Representation for Dicomplemented Lattices
| Autor: | Léonard Kwuida, Ewa Orłowska, Ivo Düntsch |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Pure mathematics
Algebra and Number Theory Discrete representation 010102 general mathematics Discrete geometry Distributive lattice 0102 computer and information sciences 01 natural sciences Theoretical Computer Science Computational Theory and Mathematics 010201 computation theory & mathematics Heyting algebra Dedekind cut 0101 mathematics Information Systems Mathematics |
| Zdroj: | Fundamenta Informaticae. 156:281-295 |
| ISSN: | 1875-8681 0169-2968 |
| DOI: | 10.3233/fi-2017-1609 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|