From two- to four-valued logic

• Autorzy: Chris Brink
• Języki publikacji: EN

Abstrakty

EN

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.

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Banach Center Publications
• Rocznik: 1993
• Tom: 28
• Numer: 1
• Strony: 9-16

Daty

wydano

1993

Twórcy

autor

Chris Brink

• Department of Mathematics, University of Cape Town, Rondebosch 7700, Cape Town, South Africa

Bibliografia

• A. R. Anderson and N. D. Belnap, Jr. [1975], Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton Univ. Press.
• N. D. Belnap [1976], How a computer should think, in: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, 30-56.
• 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.
• 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.
• C. Brink [1992], Power structures, to appear in Algebra Universalis.
• C. Brink and J. Heidema [1987], A verisimilar ordering of theories phrased in a propositional language, British J. Philos. Sci. 38, 533-549.
• M. Fitting [1989], Bilattices and the theory of truth, J. Philos. Logic 18, 225-256.
• J. Fox [1990], Motivation and demotivation of a four-valued logic, Notre Dame J. Formal Logic 31 (1), 76-80.
• H. Levesque [1984], A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX, 198-202.
• R. K. Meyer and E. Martin [1986], Logic on the Australian plan, J. Philos. Logic 15, 305-332.
• P. F. Patel-Schneider [1989], A four-valued semantics for terminological logics, Artificial Intelligence 38, 319-351.
• 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.
• H. Rasiowa [1974], An algebraic approach to non-classical logics, Stud. Logic Found. Math. 78, North-Holland, Amsterdam.
• R. Sylvan [199?], On interpreting truth tables, and relevant truth table logic, to appear in Notre Dame J. Formal Logic.