(Enter summary)
Abstract: 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
multi-valued logic programs. In this paper the representation theorem
for interlaced bilattices with negation found in [16] is extended to arbitrary
interlaced bilattices without negation. A natural equivalence is
then established between the category of interlaced bilattices and... (Update)
Context of citations to this paper: More
...were originally defined by some additional property. Bilattices considered here are called also bilattices without negation. See [8] Mobasher Pigozzi Slutzki Voutsadakis (2000) and the referenced literature therein for work on bilattices in the framework of multi...
Cited by: More
Pure vs. Mixed Motive Games: On the Perception of Payoff-Orders - Schipper (2001)
(Correct)
Active bibliography (related documents): More All
1.5: A Duality Theory for Bilattices - Mobasher, Pigozzi, Slutzki.. (1998)
(Correct)
0.4: Multi-valued Logic Programming Semantics: An Algebraic Approach - Bamshad Mobasher (1997)
(Correct)
0.2: Automated Theorem Proving by Resolution for.. - Sofronie-Stokkermans (1999)
(Correct)
Similar documents based on text: More All
0.7: The Structure of Interlaced Bilattices - Avron (1996)
(Correct)
0.6: Logical Bilattices and Inconsistent Data - Arieli, Avron (1994)
(Correct)
0.5: Reasoning with Logical Bilattices - Arieli, Avron (1995)
(Correct)
BibTeX entry: (Update)
Mobasher, B., Pigozzi, D., Slutzki, G. and G. Voutsadakis (2000). A duality theory of bilattices, Algebra Universalis 43, 109-125. http://citeseer.ist.psu.edu/article/mobasher00duality.html More
@article{ mobasher00duality,
author = "Bamshad Mobasher and Don Pigozzi and Giora Slutzki and George Voutsadakis",
title = "A Duality Theory for Bilattices",
journal = "Algebra Universalis",
volume = "43",
pages = "109--125",
year = "2000",
url = "citeseer.ist.psu.edu/article/mobasher00duality.html" }
Citations (may not include all citations):
562
Categories for the Working Mathematician (context) - Lane - 1971
509
Introduction to Lattices and Order (context) - Davey, Priestley - 1990
183
A useful four-valued logic (context) - Belnap - 1977
120
Bilattices and semantics of logic programming
- Fitting - 1991
99
Multi-Valued Logics: A uniform approach to reasoning in arti.. (context) - Ginsberg - 1988
39
Probabilistic deductive database
- Lakshmanan, Sadri - 1994
36
Reasoning with logical bilattices
- Arieli, Avron - 1995
28
Representation of distributive lattices by means of ordered .. (context) - Priestley - 1970
22
Colloquium Publications (context) - Birkhoff, Theory et al. - 1967
18
Ordered topological spaces and the representation of distrib.. (context) - Priestley - 1972
11
Subdirect Unions In Universal Algebra (context) - Birkhoff - 1944
6
Ordered Sets and Duality for Distributive Lattices (context) - Priestley - 1984
4
Multi-valued Logic Programming Semantics: An Algebraic Appro..
- Mobasher, Pigozzi et al. - 1997
3
Combining explicit negation and negation as failure via Beln.. (context) - Ruet, Fages - 1994
2
The twentieth international symposium on multiple-valued log.. (context) - Fitting, Logic - 1990
1
Universal and Applied Algebra (context) - Romanowska, Trakul et al.
Documents on the same site (http://maya.cs.depaul.edu/~mobasher/pubs.html): More
A Framework For Mixed Initiative Agent-Based Contracting - Collins, Tsvetovat.. (1999)
(Correct)
Partitioning-Based Clustering for Web Document.. - Boley, Gini, Gross.. (1999)
(Correct)
Web Mining: Pattern Discovery from World Wide Web.. - Mobasher, Jain, Han.. (1996)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC