The logical role of the four-valued bilattice

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 118-126

  Arieli, Ofer ^a   Avron, Arnon ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BOOLEAN ALGEBRA; COMPUTER CIRCUITS; FORMAL LOGIC; SEMANTICS;

BILATTICES; FOUR VALUED SEMANTICS;

MANY VALUED LOGICS;

EID: 77952369403     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705648     Document Type: Conference Paper

References (32)

1. [AA94] O.Arieli, A.Avron. Logical bilattices and inconsistent data. Proc. 9th IEEE Annual Symp. on Logic in Computer Science (LICS'94), IEEE Press, pages 468-476, 1994.
2. [AA96] O.Arieli, A.Avron. Reasoning with logical bilattices. Journal of Logic, Language and Information, Vol.5, No.l, pages 25-63, 1996.
3. [AA97a] O.Arieli, A.Avron. Four-valued diagnoses for stratified knowledge-bases. Proc. Ann. Conf. on Computer Science Logic (CSL'96). LNCS No.1258, pages 1-17, Springer, 1997.
4. [AA97b] O.Arieli, A.Avron. Bilattices and paracon- sistency. To appear in Proc. First World Congress on Paraconsistency, Gent, Belgium, 1997.
5. [Av91] A.Avron. Natural 3-valued logics: Characterization and proof theory. Journal of Sym-bolic Logic Vol.56, No.l, pages 276-294, 1991.
6. [Av96] A.Avron. The structure of interlaced bilattices. Journal of Mathematical Structures in Computer Science, Vol.6, pages 287-299, 1996.
7. [Be77a] N.D.Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G.Epstein, J.M.Dunn - eds.), Reidel Publishing Company, Boston, pages 7-37, 1977.
8. [Be77b] N.D.Belnap. How computer should think. Contemporary Aspects of Philosophy (G.Ryle - ed.), Oriel Press, pages 30-56, 1977.
9. [dC74] N.C.A.da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic, Vol.15, pages 497-510, 1974.
10. [DP95] C.V.Damasio, L.M.Pereira A model theory for paraconsistent logic programming. Proc. 7th Portuguese Conf. on Artificial Intelligence, LNAI No.990, Springer-Verlag, pages 409-418, 1995.
11. [Fi90a] M.Fitting. Bilattices in logic programming. The 20th Int. Symp. on Multiple-Valued Logic (G.Epstein - ed.), IEEE Press, pages 238-246, 1990.
12. [Fi90b] M.Fitting. Kleene's logic, generalized. Logic and Computation, Vol.1, pages 797-810, 1990.
13. [Fi91] M.Fitting. Bilattices and the semantics of logic programming. Journal of Logic Pro-gramming, Vol.11, No.2, pages 91-116, .
14. [Fi93] M.Fitting. The family of stable models. Logic Programming, Vol.17, pages 197-225, 1993.
15. [Fi94] M.Fitting. Kleene's three-valued logics and their children. Fundamenta Informaticae, Vol.20, pages 113-131, 1994.
16. [Gi88] M.L.Ginsberg. Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, Vol.4, pages 256-316, 1988.
17. [GL88] M.Gelfond, V.Lifschitz. The stable model semantics for logic programming. Proc. of the 5th Logic Programming Symp. (R.Kowalski, K.Browen - eds.) MIT Press, Cambridge, MA, pages 1070-1080, 1988.
18. [KL92] M.Kifer, E.L.Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning, Vol.9, No.2, pages 179-215, 1992.
19. [KLM90] S.Kraus, D.Lehmann, M.Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Journal of Artificial Intelligence, Vol.44, No. 1-2, pages 167-207, 1990.
20. [Le92] D.Lehmann. Plausibility logic. Proc. 5th Conf. of Computer Science Logic, Springer- Verlag, pages 227-241, 1992.
21. [LM92] D.Lehmann, M.Magidor. What does a conditional knowledge base entail?. Journal of Artificial Intelligence, Vol.55, pages 1-60, 1992.
22. [Ma89] D.Makinson. General theory of cumulative inference. Non-Monotonic Reasoning (M.Reinfrank - ed.), LNAI No. 346, Springer-Verlag, page 1-18, 1989.
23. [Ma94] D.Makinson. General patterns in nonmonotonic reasoning. Handbook of Logic in Ar-Tificial Intelligence and Logic Programming, Vol.3 (D.Gabbay, C.Hogger, J.Robinson - eds.), Oxford Science Pub., pages 35-110, 1994.
24. [Pr89] G.Priest. Reasoning about truth. Journal of Artificial Intelligence, Vol.39, pages 231- 244, 1989.
25. [Pr91] G.Priest. Minimally inconsistent LP. Studia Logica, Vol.50, pages 321-331, 1991.
26. [Re87] R.Reiter. A theory of diagnosis from first principles. Journal of Artificial Intelligence, Vol.32, No.l, pages 57-95, 1987.
27. [Sc96] A.Schoter. Evidential bilattice logic and lexical inferences. Journal of Logic, Language and Information, Vol.5, No.l, pages 65-105, 1996.
28. [Sc97] K.Schlechta. Nonmonotonic logics - Basic concepts, results, and techniques. LNAI No. 1187, Springer-Verlag, 1997.
29. [Sh87] Y.Shoham. A semantical approach to nonmonotonic logics. Readings in Non-Monotonic Reasoning (M.L.Ginsberg - ed.), Los-Altos, CA, pages 227-249, 1987.
30. [Sh88] Y.Shoham. Reasoning about change: Time and causation from the standpoint of arti-ficial intelligence. MIT Press, 1988.
31. [Su90a] V.S.Subrahmanian. Mechanical proof procedures for many valued lattice-based logic programming. Journal of Non-Classical Logic, Vol.7, pages 7-41, 1990.
32. [Su90b] V.S. Subrahmanian. Paraconsistent disjunctive deductive databases. Proc. 20th Int. Symp. on Multiple Logic, IEEE Press, pages 339-345, 1990.