A duality theory for bilattices

Representation of Distributive Lattices by means of ordered Stone Spaces

H. A. Priestley · Bulletin of the London Mathematical Society · 1970 · 614 citations

Natural Sciences, Mathematics, Algebra +8

Multivalued logics: a uniform approach to reasoning in artificial intelligence

Matthew L. Ginsberg · Computational Intelligence · 1988 · 511 citations

Computing, Computer Science, Artificial Intelligence +16

Bilattices and the semantics of logic programming

Melvin Fitting · The Journal of Logic Programming · 1991 · 410 citations

Humanities, Computer Science, Logic +11

Ordered Topological Spaces and the Representation of Distributive Lattices

H. A. Priestley · Proceedings of the London Mathematical Society · 1972 · 405 citations

Natural Sciences, Mathematics, Representation Theory +12

Reasoning with logical bilattices

Ofer Arieli, Arnon Avron · Journal of Logic Language and Information · 1996 · 263 citations

Humanities, Philosophy, Knowledge Representation +10