Download PDF - From two- to four-valued logicAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

From two- to four-valued logic

Authors 1

Affiliations

  1. Department of Mathematics, University of Cape Town, Rondebosch 7700, Cape Town, South Africa

Abstract

The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.

Bibliography

  1. A. R. Anderson and N. D. Belnap, Jr. [1975], Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton Univ. Press.
  2. N. D. Belnap [1976], How a computer should think, in: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, 30-56.
  3. N. D. Belnap [1977], A useful four-valued logic], in: Modern Uses of Multiple-valued Logic, J. M. Dunn and G. Epstein (eds.), Reidel, Dordrecht, 8-37.
  4. N. D. Belnap and J. M. Dunn [1981], Entailment and the disjunctive syllogism, in: Contemporary Philosophy: A New Survey, Vol. 1, G. Floistad and G. H. von Wright (eds.), Martinus Nijhoff, The Hague, 337-366.
  5. C. Brink [1992], Power structures, to appear in Algebra Universalis.
  6. C. Brink and J. Heidema [1987], A verisimilar ordering of theories phrased in a propositional language, British J. Philos. Sci. 38, 533-549.
  7. M. Fitting [1989], Bilattices and the theory of truth, J. Philos. Logic 18, 225-256.
  8. J. Fox [1990], Motivation and demotivation of a four-valued logic, Notre Dame J. Formal Logic 31 (1), 76-80.
  9. H. Levesque [1984], A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX, 198-202.
  10. R. K. Meyer and E. Martin [1986], Logic on the Australian plan, J. Philos. Logic 15, 305-332.
  11. P. F. Patel-Schneider [1989], A four-valued semantics for terminological logics, Artificial Intelligence 38, 319-351.
  12. P. F. Patel-Schneider [199?], A decidable first-order logic for knowledge representation], manuscript, AI Principles Research Department, AT&T Bell Laboratories (October 1989). (Revised version from Proc. 9th Internat. Joint Conf. on AI (Los Angeles, California, 1985).) To appear in J. Automat. Reason.
  13. H. Rasiowa [1974], An algebraic approach to non-classical logics, Stud. Logic Found. Math. 78, North-Holland, Amsterdam.
  14. R. Sylvan [199?], On interpreting truth tables, and relevant truth table logic, to appear in Notre Dame J. Formal Logic.
Banach Center Publications
1993/28/1
Export to PBN, Opens in new tab
Pages:
9-16
Main language of publication
English
Published
1993
Exact and natural sciences