A duality theory for bilattices (Q1866803): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Bamshad Mobasher / rank | |||
Property / author | |||
Property / author: Don Pigozzi / rank | |||
Property / author | |||
Property / author: Giora Slutzki / rank | |||
Property / author | |||
Property / author: Bamshad Mobasher / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Don Pigozzi / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Giora Slutzki / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s000120050149 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2090633591 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:09, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A duality theory for bilattices |
scientific article |
Statements
A duality theory for bilattices (English)
0 references
23 April 2003
0 references
Bilattices are algebras with two separate lattice structures. They have been used as the basis for a denotational semantics for systems of inference that arise in artificial intelligence and knowledge-based programming. Recent studies of the algebraic properties of bilattices have provided insight into their internal structures, and have led to practical results, especially in reducing the computational complexity of bilattice-based multivalued logic programs. In the paper the representation problem for interlaced bilattices without negation raised by \textit{A. Romanowska} and \textit{A. Trakul} [Universal and Applied Algebra, Proc. 5th Symp. Turawa/Pol. 1988, 235-253 (1989; Zbl 0738.06008)] and extended to arbitrary interlaced bilattices without negation by \textit{A. Avron} [Math. Struct. Comput. Sci. 6, 287-299 (1996; Zbl 0856.06005)] is presented. A natural equivalence is then established between the category of interlaced bilattices and the cartesian square of the category of bounded lattices. As a consequence a dual natural equivalence is obtained between the category of distributive bilattices and the coproduct of the category of bounded Priestley spaces with itself. Some applications of these equivalences are given. The subdirectly irreducible interlaced bisemilattices are characterized in terms of subdirectly irreducible lattices.
0 references
representation of bilattices
0 references
category of bilattices
0 references
logic programming
0 references
interlaced bilattices
0 references
Priestley duality
0 references
natural equivalence
0 references
Priestley spaces
0 references
subdirectly irreducible
0 references