On the expressive power of three-valued and four-valued languages

Journal of Logic and Computation

Volumn 9, Issue 6, 1999, Pages 977-994

  Avron, Arnon ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; SET THEORY; THEOREM PROVING;

BILATTICES; EXPRESSIVENESS;

MANY VALUED LOGICS;

EID: 0033333667     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.6.977     Document Type: Article

References (21)

1. O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Language, and Information, 5, 25-63, 1996.
2. O. Arieli, A. Avron. The Value of Four Values. Artificial Intelligence, 102, 97-141, 1998.
3. A. Avron. On an implication connective of RM. Notre Dame Journal of Formal Logic, 27, 201-209, 1986.
4. A. Avron. Natural 3-valued Logics - characterization and proof theory. Journal of Symbolic Logic, 56, 276-294, 1991.
5. N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn - Eds.), Reidel, Dordrecht, pp. 7-37; 1977.
6. N. D. Belnap. How computers should think. In Contemporary Aspects of Philosophy, G. Ryle, ed. pp. 30-56. Oriel Press, Stocksfield, 1977.
7. J. van Benthem. A Manual of Intensional Logics, 2nd edition. CSLI, Stanford, 1988.
8. S. Blarney. Partial logic. In Handbook of Philosophical Logic, Vol III, D.M. Gabbay and F. Guenthner (eds), pp. 1-70, D. Reidel, Dordrecht, 1986.
9. I. L. M. D'Ottaviano. The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matematicas, XIX, 31-42, 1985.
10. R. L. Epstein. The Semantic Foundations of Logic: Propositional Logics, 2nd edition. Oxford University Press, 1995.
11. K. Fine. Vagueness, truth, and logic. Synthese, 30, 265-300, 1975.
12. M. Fitting. Kleene's logic, generalized. Journal of Logic and Computation, 1, 797-810, 1990.
13. M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11, 91-116, 1991.
14. M. Fitting. Kleene's three-valued logics and their children. Fundamenta Informaticae, 20, 113-131, 1994.
15. M. L. Ginsberg. Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, 4, 256-316, 1988.
16. M. L. Ginsberg. Bilattices and modal operators. In Proc. TARK'90, R. Parikh, ed., pp. 273-287, Morgan Kaufman, 1990.
17. H. E. Hendry. Minimally incomplete sets of Lukasiewiczean truth-functions. Notre Dame Journal of Formal Logic, 24, 146-150, 1983.
18. T. Langholm. Partiality, Truth and Persistence. CSLI, Stanford, 1988.
19. R. Muskens. Meaning and Partiality. CSLI, Stanford, 1995.
20. L. I. Rozoner. On interpretation of inconsistent theories. Information Sciences, 47, 243-266, 1989.
21. E. G. C. Thijsse. Partial Logic and Knowledge representation. Thesis, University of Tilburg, 1992.