## Bilattices

Bilattices
are nice things, In *Self-Reference*, pages 53--77, Center for the Study of Language and Information, Thomas Bolander, Vincent Hendricks, and Stig Andur Pedersen editors, 2006.

On prudent
bravery and other abstractions, 1994, unpublished.

A theory
of truth that prefers falsehood. *Journal of Philosophical Logic*
, 26:477--500, 1997.

Annotated
revision specification programs. In V.W. Marek, A. Nerode, and
M. Truszczynski, editors, *Logic Programming and Non-Monotonic
Reasoning* , pages 143--155. Springer Lecture Notes in Computer
Science 928, 1995.

The family
of stable models. *Journal of Logic Programming* , 17:197--225,
1993.

Well-founded
semantics, generalized. In Vijay Saraswat and Kazunori Ueda, editors,
*Logic Programming, Proceedings of the 1991 International Symposium*
, pages 71--84, Cambridge, MA, 1991. MIT Press.

Bilattices
and the semantics of logic programming. *Journal of Logic Programming*
, 11:91--116, 1991.

Bilattices
in logic programming. In George Epstein, editor, *The Twentieth
International Symposium on Multiple-Valued Logic* , pages 238--246.
IEEE, 1990.

Bilattices and the theory of truth. *Journal
of Philosophical Logic* , 18:225--256, 1989.

Logic programming on a topological bilattice.
*Fundamenta Informaticae* , 11:209--218, 1988.

[Go home]