论文信息 - A Discrete Representation for Dicomplemented Lattices

A Discrete Representation for Dicomplemented Lattices

Dicomplemented lattices were introduced as an abstraction of Wille’s concept algebras which provided negations to a concept lattice. We prove a discrete representation theorem for the class of dicomplemented lattices. The theorem is based on a topology free version of Urquhart’s representation of bounded general lattices.

Ivo Düntsch | Ewa Orlowska | Léonard Kwuida

[1] Rudolf Wille,et al. Boolean Concept Logic , 2000, ICCS.

[2] Rudolf Wille,et al. Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[3] Emil Popescu,et al. On Galois Connexions , 1994 .

[4] Alasdair Urquhart,et al. A topological representation theory for lattices , 1978 .

[5] Representation of lattice frames , 2018, 1806.02595.

[6] Tinko Tinchev,et al. Modal Environment for Boolean Speculations , 1987 .

[7] C. Rauszer. Semi-Boolean algebras and their applications to intuitionistic logic with dual operations , 1974 .

[8] C. J. Everett. Closure operators and Galois theory in lattices , 1944 .

[9] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .

[10] Ewa Orlowska,et al. Relational Representation Theorems for General Lattices with Negations , 2006, RelMiCS.

[11] E. H. Moore,et al. Introduction to a form of general analysis , 2012 .

[12] Miroslav Haviar,et al. Reconciliation of approaches to the construction of canonical extensions of bounded lattices , 2014 .