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]