The structure of interlaced bilattices

Mathematical Structures in Computer Science

Volumn 6, Issue 3, 1996, Pages 287-299

  Avron, A ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

BILATTICES; BOUNDED LATTICES; FINITE SET OF EQUATIONS; STRUCTURE AND PROPERTIES; TRUTH MAINTENANCE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0005979229     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500001018     Document Type: Article

References (8)

1. Avron. A. (1995) A note on the structure of bilattices. Mathematical Structures in Computer Science 5 431-438.
2. Birkhoff, G. (1948) Lattice Theory, A.M.S., Providence.
3. Fitting, M. (1989) Negation as refutation. In: Proc. 4th Annual Symp. on Logic in Computer Science, IEEE Press 63-70.
4. Fitting, M. (1990) Bilattices in logic programming. In: Epstein, G. (ed.) The 20th Int. Symp. on Multiple-Valued Logic, IEEE Press 238-246.
5. Fitting, M. (1991) Bilattices and the semantics of logic programming. Journal of Logic Programming 11 (2)91-116.
6. Fitting, M. (1994) Kleene's three-valued logics and their children. Fundamenta Informaticae 20 113-131.
7. Ginsberg, M. L. (1988) Multivalued logics: a uniform approach to reasoning in AI. Computer Intelligence 4 256-316.
8. Jonsson, B (1994) Distributive Bilattices, Vanderbilt University.