Filter theory of bilattices in the semantics of logic programming (Q2721571)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Filter theory of bilattices in the semantics of logic programming |
scientific article; zbMATH DE number 1616245
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Filter theory of bilattices in the semantics of logic programming |
scientific article; zbMATH DE number 1616245 |
Statements
30 January 2002
0 references
bifilters
0 references
interlaced bilattices
0 references
semantics of logic programming
0 references
Filter theory of bilattices in the semantics of logic programming (English)
0 references
The author considers the properties of (prime) bifilters of interlaced bilattices to develop the semantics of logic programming. He proves some properties about bilattices, interlaced bilattices, quotient bilattices and bifilters in interlaced bilattices. For example, every bifilter \(F\) of interlaced bilattice \(L_1\odot L_2\) can be represented in the form \(F_1\odot L_2\), where \(F_1\) is a lattice filter of \(L_1\).
0 references
