See this document in CiteSeerX!

A Duality Theory for Bilattices (2000)  (Make Corrections)  (1 citation)
B. Mobasher, D. Pigozzi, G. Slutzki, G. Voutsadakis
Algebra Universalis



  Home/Search   Context   Related

 
View or download:
depaul.edu/~mobasher/pa...lpduality.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  depaul.edu/~mobasher/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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