Bilattices
Bilattice Basics. Journal of Applied Logics -- IfCoLog Journal 7.6, pp 973-1018, 2020.
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]